anchor.diff:  
   
   (subtypep (make-instance 'singleton-1-1) 'singleton-1-1)
  -;; => NIL, T ;; not OK
  +;; => NIL, T ;; not OK (DNW NOW - FIXME)
   
   (subtypep (make-instance 'singleton-2-2) 'singleton-1-1)
  -;; => NIL, T ;; not OK
  +;; => NIL, T ;; not OK (DNW NOW - FIXME)
   
   
   ;; to make a suclass C2 of a class C1 both an instance and subtype of C1 ...
  
positive.code: ;; ...
  
    (defsingleton* x-b (x-a)
      ;; FIXME: New DEFSINGLETON* DNW for any forward-referenced superclass
      ())
  
    (typep (make-instance 'x-b) 'x-b)
  
negative.code:   (:metaclass singleton))
  
  
  #+NIL
  (defmacro getf* (place property &optional default)
    ;; FIXME - move definition to ltp-common
    (with-symbols (dflt obj)
  