anchor.diff:          rest-p
           rest-param
           last
  +        param-last
           context
  -        (other-keywords
  -         (set-difference lambda-list-keywords
  -                         ;: NB: These are all handled internally here:
  -                         '(&optional &key &allow-other-keys &rest)
  -                         :test #'eq)))
  -    (declare (type cons other-keywords))
  -
  -    ;; see also: LTP/COMMON:DEFUN*
  -
  -    (macrolet ((update-for-param (elt)
  +        signature)
  +
  +    ;; NB: see also: LTP/COMMON:DEFUN*
  +
  +    ;; FIXME: Add intrinsic VALUE-P-NAME initialization for any
  +    ;; INITIALIZED-PARAM without a user-provided value-p name
  +
  +    (macrolet ((update-for-element (elt)
                    `(progn
                       (unless first
                         (setq first ,elt))
                       (when last
  -                      (setf (param-next last) ,elt))
  -                    (setq last ,elt)))
  +                      (setf (lambda-element-expr-next last)
  +                            ,elt))
  +                    (setq last ,elt)
  +                    (when (param-p ,elt)
  +                      (when (param-p param-last)
  +                        (setf (param-next param-last) ,elt))
  +                      (setq param-last ,elt))))
  +               (mk-v-p-name (name sfx)
  +                 `(make-symbol (concatenate 'simple-string
  +                                            (symbol-name ,name)
  +                                            ,sfx)))
  +               (mkerror (msg &rest args)
  +                 `(lambda-list-syntax-error lambda-list ,msg ,@args))
                  (mk-buffer (&optional (len 0))
  -                 (make-array len :fill-pointer len
  +                 `(make-array ,len :fill-pointer ,len
                                :adjustable t))
  +               (subtree-p (which)
  +                 `(and ,which
  +                       (not (zerop (length (the (array t (*)) ,which))))))
                  (add-to-buffer (elt which)
                    ;; NB: This model may be updated to use a read-only
                    ;; PARAM-NEXT slot. Albeit, the indirection required
  
positive.code:   ;;  for purpose of caching of operative subsets of lambda list
    ;;  parameters, excepting the genrealized storage in the OTHER-SUBSET
    ;;
    ;; see also:  COMPUTE-LAMBDA-LIST
    ;;
    ;; NB: The OTHER-HANDLER function may be for adding support for &AUX,
    ;; &WHOLE, &ENV, and implementation-specific lambda list keywords -
    ;; extesionally, portably, & without any requirement for rewriting the
    ;; function, COMPUTE-LAMBDA-SIGNATURE.
  
    ;; Ed. NB: Ad hoc, but practical
  
  
negative.code:   (name
     (lform (make-symbol "Unbound Name"))
     :type symbol
     :read-only t)
    (expr-next
     ;; FIXME: This comprises a redundant slot-vlue except across
     ;; instances of LAMBDA-KEYWORD
     nil
     :type (or lambda-element null)
     :read-only nil)
    )
  
  
  (defmethod print-object ((object lambda-element) stream)
    (print-unreadable-object (object stream :type t :identity t)
      (princ (lambda-element-name object) stream)))
  
  
  (defstruct (lambda-keyword
  