Nodes for the term “typechecker”