SI-4427 document package objects appearing in implicit scope

The implicit scope of a.A includes package object a. Document this, following the text posted by @odersky in the ticket (hoping my manual diff is correct).

Fixes #4427.