Make the type checker annotate AST with types for later compilation phase.