> the first sentence that you quote doesn't mention the term ... > "AST type" at all. And nor does the second. "AST type" is soley your addition. > the seco

> the first sentence that you quote doesn't mention the term ... > "AST type" at all. And nor does the second. "AST type" is soley your addition. > the second sentence is clearly talking about terms (i.e. inhabitants of a type) It is clearly about syntax, as introduced in the first sentence. And that is a feature of the language, not program. Type, not inhabitant of type.