- wait for hierarchical references within an instance's type parameters to be resolved before instantiating the module - references to a module's top-level named scopes are now correctly renamed when creating new type parameter modules