add (setf instance-finalized-p) gf, methods; correct assert-not-finalized macroexpansion