[new module system] Panic when instanitating a top-level module with undefined modules

[yav]

This example produces a panic when it should just say that X and Y are not in scope.

module T = submodule X { submodule Y }

Nothing is in scope when instantiating top-level modules, so we can probably just complain straight away if we see a non-top-level name