Add deferred type information to AST node during type inference.