remove unused identifier
Environment: locals isn't a stack, just a single env
TC: constraints must be part of the environment
TC: 2-pass constraint generation: put constraints to environment
prettyprint fresh type-variables as <x> instead of {x}
typecheck function application with a single argument
typecheck function applications with many arguments
astType2splType for function types
comments