is mentioned by

Def SimpleType == Tree(Label+Unit)

[st]

In prior sections: core bool 1 prog 1

Try larger context: GenAutomata