~ More sugar.
~ Fix typecheck output.
~ Improve Ty pprint and add cons operator.