. . . . " function, intersection, union, and complement types together with type" . .