0.8.0.19:

0.8.0.19:
	No-one's complained, so merge CSR patch "Type checking on global
	variables" (sbcl-devel 2003-05-27)
	... fix SB-XC:PROCLAIM to queue up TYPE and FTYPE proclamations
		when the system isn't initialized, and then reproclaim them
		later;
	... fix EVAL to punt to the compiler if there's a type proclamation
		for FOO in (SETQ FOO ...);
	... proclaim the types of the various CL:*FOO* variables, according
		to the CLHS;
	... fix two instances of undefined behaviour in the test suite. :-)