0.8.9.16:

0.8.9.16:
	Make NOTINLINE calls to known functions have their return types
	derived.
	... depun the BASIC-COMBINATION-KIND slot; add FUN-INFO slot
		to hold any applicable fun-info;
	... add a couple of clauses to optimizing routines;
	... test case for new behaviour, and also adjust
		NOTINLINE IDENTITY declarations in other tests