anchor.diff:    ;;     function, with the second argument's value being the symbol
     ;;     CL:&AUX
     ;;
  -  ;; - the previous PARAM object parsed from the LAMBDA-LIST expression
  -  ;;   (??) NB: Not actually needed, as the PARAM objects are not doubly
  -  ;;   linked, in this design.
  -  ;;
     ;; - the original LAMBDA-LIST expression
     ;;
     ;;   - NB: This value should not be destructively modified. It may be
  
positive.code: ;;
  ;; co spec.lisp
  
  #+NIL ;; unused macro, in this revision
  (defmacro do-cons ((first rest whence &optional return) &body body)
    (with-symbols (dispatch %whence)
      `(block nil
         (labels ((,dispatch (,%whence)
  
negative.code:              (:constructor make-aux-param (name #:FIXME_INIT))))
  
  
  (defstruct (other-param-subset
               (:include param-subset)
               (:constructor %mk-other-param-subset
                             (members))))
  
  
  (defstruct (lambda-signature
               (:constructor %mk-lambda-signature
                             (&key
                              lambda-list
                              ((:first first-param) nil)
                              ((:required required-param-subset) nil)
                              ((:optional optional-param-subset) nil)
                              ((:keyword keyword-param-subset) nil)
                              ((:other other-subset) nil)
                              ((:rest rest-param) nil)
                              )))
    ;; Ed. NB: See remarks about the design of this lambda list parser
  