Make parse errors print more nicely
Begin parsing types and patterns such as A.B.C
Add flexible variables for type annotated values

Without this, things are not generalized properly.
Make a type less general
Begin to canonicalize imported values and types