0.6.11.13:

0.6.11.13:
	converted SIMPLE-/COMPLEX- -INTERSECTION to -INTERSECTION2
	reviewed old SIMPLE-/COMPLEX- -INTERSECTION methods to make
		them OK in the new world
	made TYPE-INTERSECTION2 and TYPE-APPROX-INTERSECTION2 for
		some things which used to call TYPE-INTERSECTION
	made new with-&REST-list TYPE-INTERSECTION to replace
		MAKE-INTERSECTION-TYPE-OR-SOMETHING
	HIERARCHICAL-INTERSECTION is more descriptive than
		VANILLA-INTERSECTION.
	deleted unused SIMPLIFY2 stuff
	deleted unused TYPE-INTERSECT and VALUES-TYPE-ALLOWP
	Pure BOOLEAN TYPE-ENUMERABLE is too much trouble; relax to
		generalized boolean instead.
	tweaked DEFUN-CACHED so that it will work early in cold init
		(if some clueless bozo happens to mess up types so
		badly that it gets called early in cold init:-)
	Now the AND type translator can just use TYPE-INTERSECTION.
	added *SOFT-HEAP-LIMIT*
	removed some unused symbols in SB!UNIX
	tweaked /SHOW0 to automatically stringify and concatenate its
		arguments, to abbreviate an idiom that I use a lot
	wrote /HEXSTR0 to abbreviate another idiom
	defined /PRIMITIVE-PRINT to abbreviate another idiom
	DO-LOAD-TIME-CODE-FIXUP and DO-LOAD-TIME-VALUE-FIXUP are
		only needed at cold init.
	added tests/type.after-xc.lisp and tests/type.before-xc.lisp
	upgraded SB-XC:TYPEP to handle (TYPEP #(1 2 3) 'VECTOR) etc.
	Intersection with *EMPTY-TYPE* and *UNIVERSAL-TYPE* should
		behave (and be commutative).
	Guard against some type method operations on *. (easier than
		worrying about them, or trying to make them right..)
	moved STYLE-WARN and friends to SB-INT to eliminate thought
		about whether they're visible e.g. in ir1tran.lisp
	tripped over bug 84
	made SB!C-CALL use SB!INT and SB!EXT so I can use /SHOW0 et al.
	DEF-PRIMITIVE-TYPE stuff can become !DEF-PRIMITIVE-TYPE.
	DEF-BOUNDED-TYPE and DEFINE-FLOAT-FORMAT can become
		!DEF-BOUNDED-TYPE and !DEFINE-FLOAT-FORMAT.
	moved DEFTYPE FLOAT-FORMAT earlier so that it's visible in
		early-type.lisp (for NUMERIC-TYPE FORMAT slot :TYPE)
	moved LIST, CONS, and NULL classes earlier in *BUILT-IN-CLASSES*
		to try to help with RATIO cold init problem
	removed pre-ANSI keyword-only stuff in ARG-INFO-KEYWORD and
		in various &KEY-related error messages and symbol names
	bug 12 fixed: (SUBTYPEP 'KEYWORD 'SYMBOL)=>T,T
	added INTERSECTION-TYPE support to CTYPEP