Public frames - distinguish between public frames in a public module vs. an internal module

[BioTurboNick]

If a package contains a nested module, the public types of that module should not be considered public to the parent module unless the parent module itself re-exports them, or the whole submodule is marked public.