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:   ;; parsed from the provided FORMS.
  
    (labels ((parse-meta (name llist forms)
               (let ((lparms (parse-lambda-call-params llist)))
                 (multiple-value-bind (forms docs)
                     (parse-named-forms-docs forms)
                   ;; TBD: Top-level API for the following
                   ;; towards application in DEFUN*, LABELS*, LAMBDA*
                   (multiple-value-bind (forms decls)
                       (nparse-forms-declarations forms)
                     (multiple-value-bind (type-map vdecl)
                         (parse-declared-types decls env)
                       (multiple-value-bind (ftype)
                           (unparse-named-ftype name lparms type-map vdecl)
                         (values ftype docs decls forms))))))
               ))
  
      (multiple-value-bind (ftype docs decls forms)
          (parse-meta name lambda forms)
        `(progn
           (declaim ,ftype)
           (defun ,name ,lambda
             ,@(when docs (list docs))
             ,@(when decls (list `(declare ,@decls)))
             ,@forms)
           ))))
  
  
  
negative.code:                       :datum expr
                        ;; FIXME note that the CONTEXT (EVAL-CONTEXT)
                        ;; should be provided by any calling form
                        :context error-context
                        :lambda-list llist)))
             ))))))
  
  
  