Nodes for the term “intersection types”