anchor.diff:  
                    ;; ...
                    (values typed vdecl)))
  -             (parse-ftype (name lvars type-map 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
  
positive.code:                      (multiple-value-bind (type-map vdecl)
                           (parse-decl-types decls env)
                         (multiple-value-bind (ftype)
                             (parse-ftype name lvars type-map vdecl)
                           (values ftype docs decls forms))))))
                 ))
  
  
negative.code:                            (&key
                              (let ((kwd (cdr varinfo)))
                                ;; Note the remark about "Specialized &key
                                ;; forms" in PARSE-LAMBDA-PARAMS local defun
                                (pushl (list kwd type) param-spec)))
                             (t
                              (pushl type param-spec))))
  