Nodes for the term “type safety”