0.8.1.9:

0.8.1.9:
	Implement slightly DWIMish behaviour for (TYPE (ARRAY FOO ..) ..)
	declarations, as discussed on the CLHS "Declaration TYPE" page, and
	on sbcl-help circa 2003-05-08 and with Fufie on #lisp around
	2003-06-24
	... We need the target's UPGRADED-ARRAY-ELEMENT-TYPE, so move
		the definition and define it in SB!XC
	... use it (carefully) in MAKE-ARRAY optimizers and transforms,
		because the declaration behaviour we're implementing
		doesn't extend to (MAKE-ARRAY .. :ELEMENT-TYPE 'FOO)
	... insert appropriate THEs in HAIRY-DATA-VECTOR-{REF,SET} if the
		declared array element type isn't the same as the
		declared upgraded element type