Module env 

Type environment: type-decl info and value-binding scopes.

Structs

TypeDef

TypeEnv

Enums

TypeDefKind

Functions

ty_from_canon

Convert canonical TypeExpr to internal Ty, treating type params as fresh-numbered Vars (0..n in declaration order). When instantiating, we substitute these out.