CCL> (defparameter *type*
       `(or (not (cons (eql 0) (real -3.926510009989861d7
                                     -3.926510009989861d7)))
            (not (cons t (eql 0)))))

CCL> (specifier-type *type*)
#<UNION-CTYPE (OR (NOT CONS)
                  (CONS (INTEGER 0 0)
                        (OR (REAL * (-3.926510009989861D+7))
                            (REAL (-3.926510009989861D+7))
                            (NOT INTEGER)
                            (INTEGER * -1)))
                  (CONS (OR (NOT INTEGER)
                            (INTEGER * -1)
                            (INTEGER 1))
                        T)
                  )>

CCL> (specifier-type `(not ,*type*))
#<NAMED-CTYPE NIL>