Add compilation to EH
Add polymorphism and records
Don't make a TForAll if there are no free variables
Fix fold
Add some examples
Initial ADT implementation
Add pattern matching
Add parameterized types, more advanced pattern matching
Minor fixes
Simplify representation of ADT instances
Add kinds and kind inference
Type synonyms
Add a few more examples
Improve compilation
Allow any expression in match cases
Subtyping with let-polymorphism
No more let-polymorphism
Fix (hopefully) type inference for records
Change record into a map rather than an association list, so that order doesn't matter
Improve record polymorphism handling