Get tests compiling again
Get the latest submodules
cosmetic: mess with indentation
Use fewer local vars
Take steps to allow higher kinded polymorphism
Use canonical names during type inference
only expose exported values, add comments
Properly import (::)
When canonicalizing, prefer local definitions
Canonicalize values and ADTs before type inference
Dummy implementations until everything else works