anchor.diff:  
   ;; -- DEFUN* parser functions (internal/ephemeral - see previous annotations)
   
  -(declaim (ftype (function (list &optional list)
  -                          (values list list &optional))
  -                parse-forms-declarations)
  +(declaim (ftype (function (list function)
  +                          (values &optional))
  +                walk-forms-declarations)
   
            (ftype (function (list)
                             (values list (or null string) &optional))
                   parse-named-forms-docs)
   
  -         (ftype (function (list)
  +         (ftype (function (list &optional (or symbol cons))
                             (values list &optional))
                   ;; => lambda call-form-signature, formatted vis FTYPE
                   ;;    .. containing params information
                   parse-lambda-call-params)
   
  -         (ftype (function (list &optional t)
  -                          (values list &optional))
  +         (ftype (function (list t)
  +                          (values list list &optional))
                   ;; => type map (from a list of partially parsed DECLARE forms)
                   parse-declared-types)
   
  -         (inline parse-forms-declarations
  +         (inline #+NIL walk-forms-declarations
                    parse-named-forms-docs
                    parse-lambda-call-params))
   
  
positive.code:       (t
         (values forms nil)))))
  
  (defun parse-lambda-call-params (llist)
    ;; NB: This function's return value is used together with
    ;; the return value from PARSE-DECLARED-TYPES, for computing
    ;; an FTYPE declaration in UNPARSE-NAMED-FTYPE
  
negative.code: ;;     UNPARSE-NAMES-FTYPE
  
  
  (defun walk-forms-declarations (forms callback)
    ;; assumption: any docstring has been removed from FORMS
    ;;
    ;; NB: Handle multiple DECLARE
    (let ((frst (car forms)))
      (cond
        ((and (consp frst) (eq (car frst) 'declare))
         (funcall callback (cdr frst))
         (walk-forms-declarations (cdr forms) callback))
        (t
         (values)))))
  
  
  (defun parse-named-forms-docs (forms)
  