0.7.10.26:

0.7.10.26:
	Fix up a theoretical bug in the COMPILE DERIVE-TYPE-OPTIMIZER
	... '(VALUES FUNCTION BOOLEAN BOOLEAN),	not 'FUNCTION

	(why only a "theoretical" bug?  Well, at present, SBCL's type
	engine returns (VALUES FUNCTION BOOLEAN BOOLEAN) for
          (VALUES-TYPE-INTERSECTION
           'FUNCTION
           '(VALUES (OR FUNCTION SYMBOL) BOOLEAN BOOLEAN))
	so it DWIM.  However, CMUCL doesn't (it returns the empty type
	instead), which led to the discovery of this error by Raymond
	Toy when he tried to port the optimizer.)