0.7.12.41:

0.7.12.41:
	Yet more type system fixes:
		distribute NOT over CONS types
	... put *EMPTY-TYPE*-handling logic inside MAKE-CONS-TYPE
	... fixes:
            (subtypep '(and cons (not (cons symbol integer)))
		      '(or (cons (not symbol) *) (cons * (not integer)))
		unravel some INTEGER/RATIONAL schizophrenia
	... (RATIONAL 0 0) is completely equivalent to (INTEGER 0 0)
	... fixes:
	    (subtypep '(rational 0 10) '(or (eql 0) (rational (0) 10)))
	... does not fix:
            (subtypep '(not (rational -1/2 1/2)) '(not (integer 0 0)))