Parenthesize properly when printing ImpCode exprs.
Remove unneeded LANGUAGE pragma.
Make typechecker a little more readable.
Handle do-loops in memory annotater.