Format CompileError
Desugar do's properly, and don't do it during compilation
Desugar and fix test case for NamedFieldPuns
Desugar and test pattern parens (PPat)
Add Monad stack for Desugar
Desugar: Use Reader instead of State and propagate Desugar monad
Desugar sections
Desugar tuple constructors
Documentation