This is okay (either proposal). I believe there is no harm in requiring conforming programs to obey the DEFCLASS restriction for now, so I don't see the advantage to BOBS-AMENDMENT, even though in the future metaclasses might change this.