0.6.11.26:

0.6.11.26:
	restored CMU CL's :PROPAGATE-FLOAT-TYPE and :PROPAGATE-FUN-TYPE
		functionality
	changed design of CROSS-FLOAT-INFINITY-KLUDGE
	renamed :PROPAGATE-FLOAT-TYPE and :PROPAGATE-FUN-TYPE
		features to :SB-PROPAGATE-FLOAT-TYPE and
		:SB-PROPAGATE-FUN-TYPE
	renamed :CONSTRAIN-FLOAT-TYPE to :SB-CONSTRAIN-FLOAT-TYPE too
	clarified TYPE-ERROR :TYPE in DEFUN SANE-PACKAGE
	tweaked DEFCONSTANT handling so that CMU CL can handle the
		DEFCONSTANT/DEFTYPE interaction in bit-bash.lisp
	created SB-XC versions of various CL constants (e.g.
		LEAST-POSITIVE-SINGLE-FLOAT) so that cross-compilation
		of their DEFCONSTANT forms works more cleanly
	reviewed uses of various CL constants and added SB!XC:
		prefixes in compiled-on-host code: CALL-ARGUMENTS-LIMIT,
		CHAR-CODE-LIMIT
	split char.lisp into char.lisp and target-char.lisp so that
		there'd be a suitable place to define CHAR-CODE-LIMIT
	rewrote SOURCE-TRANSFORM-CXR stuff to avoid FORMAT call at
		cold init time
	suppressed bogus default DEFSTRUCT-generated COPY-READTABLE
	hunting PROPAGATE-FOO-TYPE bug in compilation of OUTPUT-GSPACE..
	..made MAKE-NUMERIC-TYPE enforce closed-bound invariant for
		NUMERIC-TYPE-CLASS='INTEGER
	..made MODIFIED-NUMERIC-TYPE to enforce NUMERIC-TYPE-CLASS
		invariants; made slots read-only; rewrote
		modify-NUMERIC-TYPE code to use MODIFIED-NUMERIC-TYPE
	..moved FLET VALIDATE logic from CONSTRAIN-INTEGER-TYPE
		and CONSTRAIN-FLOAT-TYPE to MAKE-NUMERIC-TYPE.
	..Now COPY-NUMERIC-TYPE can go away.
	..renamed BOUND-VALUE to SB!INT:TYPE-BOUND-NUMBER
	factored out CTYPE-OF-NUMBER code
	cross-type.lisp is type system code, so do it in SB!KERNEL.