"TWO-ARG-/=" "TWO-ARG-<" "TWO-ARG-<=" "TWO-ARG-="
"TWO-ARG->" "TWO-ARG->=" "TWO-ARG-AND" "TWO-ARG-EQV"
"TWO-ARG-GCD" "TWO-ARG-IOR" "TWO-ARG-LCM" "TWO-ARG-XOR"
+ "TYPE-*-TO-T"
"TYPE-DIFFERENCE" "TYPE-EXPAND" "TYPE-INTERSECTION"
"TYPE-INTERSECTION2" "TYPE-APPROX-INTERSECTION2"
"TYPE-SINGLE-VALUE-P" "TYPE-SPECIFIER" "TYPE-UNION"