anchor.diff:                            ;; list parser for both LABELS* and DEFUN*
                             ;;
                             ;; Note also, BOA lambda list forms in
  -                          ;; constructor specifications for DEFSTRUCT
  +                          ;; constructor specifications for DEFSTRUCT -
  +                          ;; vis a vis, "Ways to define a class" in CLOS
  +                          ;; and MOP systems.
                             (t (simple-style-warning
                                 ;; NB: Only reached for CONS type lamba
                                 ;; element exprs
  
positive.code:                ;; ... b.c stong typing in Common Lisp programs, juxtaposed
                 ;; to a casual DECLARATION decl in non-CMUCL-fam lisps
                 (let (param-spec context)
                   ;; Re-map LVARS x TYPE-MAP into a lambda-like PARAM-SPEC
                   (dolist (bkt lvars)
                     ;; NB: for any &key parameter, the CDR of BKT will be
                     ;; a list -- as produced within PARSE-LAMBDA-VARS --
                     ;; to a general format: (CONTEXT . (VAR . KEYNAME))
                     ;;
                     ;; For any other lambda list parameter, the CDR of
  
negative.code:                                                 (cdr frst))))
                     (t
                      (values forms decls)))))
               (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-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:
  