Refactoring and moving stuff around

Split GMachine into GCompiler and GMachine.
Moved common types from Expr, GMachine, and Heap to Types.
Moved pretty-printing from GMachine to Format.
Added Main.
Template.hs is probably broken right now.