LSP: Go to type definition doesn't work for reprovided types

[ospencer]

Example program:

module Example

from "number" include Number

match (Number.parseInt("10", 10)) {
  Err(hasNoTypeDefinition) => Err(""),
  Ok(n) => Ok(n),
}

If you try to go to type definition on hasNoTypeDefinition, it fails. The type comes from the runtime/atoi/parse runtime module. The error occurs because the type is not in the environment, and goes away if the type is imported.