anchor.diff:      (multiple-value-bind (%proto-name %params)
           (compute-prototype-class-name params)
   
  -      (with-symbols (%singleton) ;; FIXME review for unused symbols
  +      (with-symbols ()
   
           (multiple-value-bind (%user-metaclass %params)
               (compute-user-metaclass %params) ;; NB: May be unused here
  
positive.code:                (:metaclass prototype-class))
  
               (defclass ,name
                    ;; NOTES - SINGLETON AS DIRECT SUPERCLASS (A HACK)
                    ;; does not break, but does not result in an
                    ;; appropriate class precedence list (w/ PCL)
                    #+NIL (,@superclasses)
                    ;; breaks when defining subclasses, does not break at first
                    #+NIL (singleton ,@superclasses)
                    ;; does not break, and may result in an appropriate class
                    ;; precedence list in the class
                    ;;
                    ;; FIXME -  MIGHT BREAK under some superclasses having
                    ;; SINGLETON as a superclass (More test cases req'd)
                    (,@superclasses singleton)
                  ,slots
                  (:metaclass ,%proto-name)
                  ,@%params)))))))
  
  
  ;; FIXME: Test DEFSINGLETON* with forward-referenced direct superclasses
  
negative.code:                                   :test #'eq)))
                      (values (cadr name-prop) params-adj)))
                   (t
                                          ;: NB: Calling INTERN in the macroexpansion @ default name
                    (values (intern (concatenate 'simple-string
                                                 (symbol-name name)
                                                 #.(symbol-name '#:-prototype)))
  