messing around with dummy types
remove dead code
parse declarations separately by default

to group functions, enclose in curly braces
remove dead code
remove dummy types
put type signature in pretty print output
fix type assignment to declarations
Main: don't print environment
prettyprint: braces around mutually recursive functions