* Normalized how parsing/translating handles type-vars and their respective local tops.
* Grounding has been turned into prettifying.
* Moving some of the code in &type-checker to &type.