anchor.diff:                                                  (cdr frst))))
                      (t
                       (values forms decls)))))
  -             (parse-lambda-vars (llist)
  -               ;; NB: This function's return value is used for PARSE-FTYPE LVARS
  +             (parse-lambda-params (llist)
  +               ;; NB: This function's return value is used together with
  +               ;; the return value from PARSE-DECL-TYPES, for computing
  +               ;; an FTYPE declaration in PARSE-FTYPE
  +               ;;
  +               ;; This function, as such, provides a value for the
  +               ;; LPARMS parameter to PARSE-FTYPE
                  ;;
                  ;; Usage - Within PARSE-FTYPE, this function's return
                  ;; value is processed within an iterative form, such that
                  ;; will compute a type for each lambda parameter parsed
  -               ;; out by PARSE-LAMBDA-VARS.
  +               ;; out by PARSE-LAMBDA-PARAMS. For any parameter not
  +               ;; given an explicit type in any declaration forms,
  +               ;; PARSE-FTYPE will provide a resonable default type -
  +               ;; similarly, for the VALUES element in the resulting
  +               ;; FTYPE declaration.
                  ;;
                  ;; For &key arguments, these two functions will utilize a
                  ;; specific, list-based data structure:
  
positive.code:                            (&key
                              (let ((kwd (cdr varinfo)))
                                ;; Note the remark about "Specialized &key
                                ;; forms" in PARSE-LAMBDA-VARS local defun
                                (pushl (list kwd type) param-spec)))
                             (t
                              (pushl type param-spec))))
  
negative.code: 
                   ;; ...
                   (values typed vdecl)))
               (parse-ftype (name lparms type-map vdecl)
                 (declare (type list type-map))
                 ;; NB vis a vis VALUES in DECLARE w/ CMUCL and SBCL,
                 ;; and CL:FTYPE declarations
  