Move substitution into a module
Simplify pretty printer (Pure LC)
Prettier pretty printer for System F