"TYPE-*-TO-T"
"TYPE-DIFFERENCE" "TYPE-EXPAND" "TYPE-INTERSECTION"
"TYPE-INTERSECTION2" "TYPE-APPROX-INTERSECTION2"
+ "TYPE-SINGLETON-P"
"TYPE-SINGLE-VALUE-P" "TYPE-SPECIFIER" "TYPE-UNION"
"TYPE/=" "TYPE=" "TYPES-EQUAL-OR-INTERSECT"
"UNBOUND-SYMBOL-ERROR" "UNBOXED-ARRAY"