CCL> (type= (specifier-type `(OR (CONS (INTEGER 0 0) (OR (REAL * (-3.5D0)) (NOT INTEGER) (INTEGER * -1) (REAL (-3.5D0)))) (CONS (OR (AND (NOT FLOAT) (NOT INTEGER)) (INTEGER * -1) (INTEGER 1)) T))) (specifier-type `(CONS (NOT FLOAT) T))) NIL T