Fix a long-standing bug; the type checker should recover from a failure
in the default method of a class declaration, else the default method
doesn't get added to the type envt, and we get an opaque
	    tcLookupGlobal: `FunnyError.$dmb' is not in scope
message.