Improved translations and added prettyprinting
Introduced Comptn in the Typed object instead of Comp
Removing typ from Expr and introducing TypeAnnotated expr
Forgoing overloading for dependent types and better pattern matching