anchor.diff:         ,@(cond ((eq (presentation-type-name inherit-typespec) 'and)
                   (loop for super in superclasses
                         for i from 0
  -                      append (unless (or (not (atom super))
  -                                         (eq super 'satisfies)
  -                                         (eq super 'not))
  -                               `((defmethod massage-type-for-super
  -                                     ((type-name (eql ',name))
  -                                      (super-name (eql ',super))
  -                                      type)
  -                                   (values (nth ,i
  -                                                (cdr (,inherit-from-lambda
  -                                                      type)))
  -                                           t))))))
  +                      collect `(defmethod massage-type-for-super
  +                                   ((type-name (eql ',name))
  +                                    (super-name (eql ',super))
  +                                    type)
  +                                 (values
  +                                  (nth ,i (cdr (,inherit-from-lambda type)))
  +                                  t))))
                  (superclasses
                   `((defmethod massage-type-for-super
                         ((type-name (eql ',name))
  
positive.code:   (declare (ignore type-spec))
    (values nil nil))
  
  ;;; Load-time actions for define-presentation-type
  (defmacro %define-presentation-type (name parameters params-ll
                                       options options-ll
  
negative.code:                                      description history parameters-are-types)
    (let* ((inherit-typespec (funcall (coerce inherit-from-lambda 'function)
                                      (cons name (fake-params-args params-ll))))
           (superclasses (parse-inheritance inherit-typespec))
           (expansion-lambda (make-expansion-lambda params-ll options-ll)))
      `(progn
         (record-presentation-type ',name ',parameters ',params-ll ',options
  