0.8.0.60:

0.8.0.60:
	Fix yet another Dietz bug:
	... in DEFCLASS, we only redefine an existing class with name
	CLASS-NAME if said name is the proper name for the class;
	... ask for a new class (by passing NIL to ENSURE-CLASS-USING-CLASS)
	otherwise.