Resolve type 'mt' to either type, symbol, or expression. If errors happened, resolved to Type.terror.
type to be resolved
the location where the type is encountered
the scope of the type
is set if t is an expression
is set if t is a type
is set if t is a symbol
true if in type id
See Implementation
Resolve type 'mt' to either type, symbol, or expression. If errors happened, resolved to Type.terror.