Get Matrix2D and Signal compiling
Minor cosmetic change
Get Date and JS libraries compiling
Load ADTs into the environment to fix constraint generation for patterns
Get rid of dead function and give instantiateTypeWithContext a shorter name
Minor tweaks to match type-checker generation of ADT constraints
Fix parser for "import List" which before was not importing anything.
Allow multiple different imports of the same module, clean up `canonicalize` code
Get Automaton compiling
Put type aliases in ModuleInterface
Remove dead code
Resolve type aliases in `instantiator`