(&key (:name #:name) (:simple-subtypep #:simple-subtypep)
(:complex-subtypep-arg1 #:complex-subtypep-arg1)
(:complex-subtypep-arg2 #:complex-subtypep-arg2) (:simple-union2 #:simple-union2)
(:complex-union2 #:complex-union2) (:simple-intersection2 #:simple-intersection2)
(:complex-intersection2 #:complex-intersection2) (:simple-= #:simple-=)
(:complex-= #:complex-=) (:negate #:negate) (:unparse #:unparse)
(:might-contain-other-types-p #:might-contain-other-types-p)
(:enumerable-p #:enumerable-p) (:singleton-p #:singleton-p))