* We now expose ancestors to a module.
* If there are any ambiguous ancestors (conflicting with globals or siblings),
  it is considered an error, currently.