0.7.12.14:

0.7.12.14:
	Type system fixes (thanks to Paul Dietz for the report)
	... make the intersection of negation types with non-hairy types
		smarter, by considering the type relationship of the
		negation (e.g. (AND BASE-CHAR (NOT BASE-CHAR)) and
		(AND FIXNUM (NOT INTEGER)) should both be canonicalized
		to NIL).
	... if either of the CAR-type or CDR-type of a CONS type is NIL,
		then the whole type must be NIL too.
	(also fixes the unparse of EXTENDED-CHAR)