Modified term AST WITHOUT type parameters