Nodes for the term “type system”