TODO items.
Short thought on exception handling.
Simplify the AST.
Use the Pretty typeclass.
Fix bug in the HPT analysis.