0.7.13.8:

0.7.13.8:
	Fix some more type system stuff
	... the NEGATION type method should test for TYPE=, not EQ, with
		*EMPTY-TYPE*
	... install some hair to deal with more RATIONAL/INTEGER
		confusion
	(I can no longer construct an example that causes the type
	system to get the answer wrong involving just INTEGER, RATIONAL,
	AND, OR and NOT.  That's not to say that such an example doesn't
	exist, only -- as Fermat didn't quite say -- that my brain is too
	small to contain it)