Classes and instances parsers
Initial work on desugaring type classes into dictionaries
More work on desugaring type classes into dictionaries
Add contexts to instance declarations
Generate Javascript for type class dictionary getters
First work on desugaring instance declarations
Fix some bugs in type class instance desugaring
More work on desugaring
Fix kind checking, code gen for dictionaries
Fully type the provided value in infer and check. Need to fix the escape check.
Fix error in check - expand type synonyms first
Revert "Fix error in check - expand type synonyms first"

This reverts commit 21e5b86fa1d13b8952735ccd1882353b265b9398.
Fix up broken tests, fix the escape check and skolem escape check.
Generate type class dictionary placeholders
Pass modified values up to codegen phase
Starting work on replacing type class dictionary placeholders
Basic implementation of the entails relation
Show (Data a) example
Add failing example
Add Monad example