Introduce TypeFunction AST node