type checking does not play well with imports

[NoamDev]

Reproducing the behavior

Example: Running command: bend check main.bend With code:

a.bend

type MyType:
  A

Foo: MyType -> MyType

(Foo MyType/A) = MyType/A

main.bend

from a import *
main = "hello world"

Error.:

Errors:
In a :
In definition 'a/Foo':
  Type Error: Expected function type '(a/MyType -> a/MyType)' but found '(MyType -> a/MyType)'.

Expected behavior.... The code should check

System Settings

Example:

• HVM: hvm 2.0.22
• Bend: bend-lang 0.2.37-alpha.1

Additional context

No response

[developedby]

Likely missing a rename of imports somewhere, I'll have a look.