anchor.diff:  
   (defsingleton singleton-2-2 (singleton-1-1)
     ((sl-c)))
  -
  +;; FIXME [CCL] - LOOP (??)
   
   (class-slots (find-class 'singleton-2-2))
   
  
positive.code: 
  
  (subtypep (make-instance 'singleton-1-1) 'singleton-1-1)
  ;; => NIL, T ;; not OK
  
  (subtypep (make-instance 'singleton-2-2) 'singleton-1-1)
  ;; => NIL, T ;; not OK
  
  (typep (make-instance 'singleton-2-2) 'singleton-1-1)
  ;; => T
  ;; OK ! ... insofar as for direct superclasses.
  
  
  ;; NB: To produce a suclass C2 of a class C1, such that C2 is both an
  
negative.code:              ;; NB: This implementation, in effect, prevents any usage
               ;; of forward-referenced classes in the SUPERCLASSES list
  
  
               ;; FIXME - Consider leaving this explicit DEFCLASS form out
               ;; of the source, for the prototype class -- considering
               ;; the updated ALLOCATE-INITIALIZE method, prototyped below
               ;;
               (defclass ,%proto-name (,@user-metaclass prototype-class
                                                        ,@superclasses)
                 ;; NB: See also, the FIXME remark in the definition of
  