[work in progress] Ast annotations.
Revise inference
Update pretty printer
Add annotation support into the parser
Tiny addition to the Makefile