Don't memoize the trivial case of a few 2-arg type functions.

TYPE=, TYPE-{INTERSECTION,UNION}2, and CSUBTYPEP
can test (EQ type1 type2) faster than computing the hash.