Resolve constructors parsed as type variables
Move some lowering passes
Add a pass to handle constants of user-defined types
Print type context when run with numba script