0.8alpha.0.4:

0.8alpha.0.4:
	Canonicalize FUNCTION and VALUES types
	... MAKE-FUN-TYPE and MAKE-VALUES-TYPE wrappers
	... remove MAKE-VALUES-TYPE cache on grounds of it confusing me
	... FUN-TYPE-NARGS needs to check to see if WILD-ARGS is set
		[e.g. for LIST, defined as (FUNCTION (&REST T) LIST),
		canonicalized to (FUNCTION * LIST)]
	Ensure that FUN-TYPES and subtypes of FUNCTION aren't treated as
	disjoint
	... new type methods for FUNCTION :COMPLEX-{INTERSECT,UN}ION
	Make the MAP/%MAP transform arglist look the same as their
	DEFKNOWN
	... not actually sure if this is necessary any more, but at one
		point I got very strange errors without it.

	Handle this one with slight care.  I'm not 100% convined that
	it's bulletproof, though it passes tests and builds itself
	without complaint.