Map functions.
Substitution functions.
Constraint generations compile.
Short names for type variables in resulting program.
Just generate constraints of a program, for testing.
Better constraint printing.
Starting normalization.