is mentioned by

Def SimpleType == Tree(Label+Unit)	[st]
Def Term == Tree(ts())	[term]

In prior sections: mb tree

Try larger context: GenAutomata