Add type info to expr trees
Add pretty print for Type
Add codegen for some instructions