Type environment tree

[joews]

• Type env contains annotated AST nodes, not types only
• The first step to unifying type and value ASTs