Module types are not resolved properly
Types defined in modules that depend on types from within another imported module are exported without resolving the referenced type:
module A {
type Foo = extern("Foo")
}
module B {
import A
type Bar = (Foo, Int)
}
B.Bar
is exported with an invalid referenced type to the imported A module definition.