add command to compiler frontend
add command to compiler frontend

Add the `pretty-type` command that pretty prints the typechecked syntax tree
with type annotations.

Currently broken due to missing Pretty instances for typechecked data

djeik/goto,djeik/goto