anchor.diff:             (cond
                ((eq c %super) (return %class))
                (t (let ((found
  -                       (find-superclass %super c nil)))
  +                       (find-class-in-precedence %super c nil)))
                     (when found
                       (return c)))))))))))
   #+NIL
  -(eval-when () ;; instance tests - FIND-SUPERCLASS
  +(eval-when () ;; instance tests - FIND-CLASS-IN-PRECEDENCE
   
     (defclass f-1 ()
       ())
  
positive.code:                   (values 'singleton params))))))
      (let ((%proto-name
             ;; FIXME: Allow this to be specified in PARAMS (??)
             (make-symbol (concatenate 'simple-string
                                      (symbol-name name)
                                      (symbol-name '#:-prototype)))))
  
negative.code: 
  (class-direct-slots (find-class 'singleton-2))
  
  
  ;; NB
  (typep (find-class 'singleton-2) 'singleton-1)
  ;; => NIL
  ;; ^ there it differs from the newer DEFSINGLETON*
  
  ;; -- Towards defining a subclass of SINGLETON as an instance of its own class
  
  ;; FIXME - DESIGN ISSUE
  
  (typep (find-class 'singleton-1) 'singleton-1)
  ;; => NIL ; which is not good for this design
  ;;
  ;; NB: The singleton-subtype concern has been addressed - insofar as with
  ;; regards to direct superclasses - in the present DEFSINGLETON*
  ;; definition
  
  (typep (make-instance 'singleton-1) 'singleton-1)
  ;; => T ; which is passable
  
  --
  
  (defsingleton singleton-3-1 (singleton-1)
    ())
  
  (typep (make-instance 'singleton-3-1) 'singleton-1)
  ;; => T
  
  (typep (make-instance 'singleton-3-1) 'singleton-3-1)
  ;; => T
  
  (typep (find-class 'singleton-3-1) 'singleton-1)
  ;; => NIL ;; not good though
  
  --
  
  (defparameter *c1*
    (make-instance 'forward-referenced-class
  