prettyprint inferred types in globals
assign types of local declarations
Main: only prettyprint inferred ast, dont' print environment
pretty print types