anchor.diff:    (make-annotated-variable 1 2 ':left-lcb ':right-lcb))
   
   ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
  -;;;        but use :NON_KEYWORD_NAME instead for :SORT-NAME and :LOCAL-VARIABLE
  +;;;        but use :NON-KEYWORD-NAME instead for :SORT-NAME and :LOCAL-VARIABLE
   (define-sw-parser-rule :LOCAL-VARIABLE ()
  -  :NON_KEYWORD_NAME)
  +  :NON-KEYWORD-NAME)
   
   ;;; ------------------------------------------------------------------------
   ;;;   ANNOTATED-EXPRESSION
  
positive.code: ;;;  NOTE: :LOCAL-VARIABLE      as :CLOSED-EXPRESSION would introduce ambiguities, so we parse as :ATOMIC-EXPRESSION and post-process
  ;;;
  ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
  ;;;        but use :NON_KEYWORD_NAME instead for :SORT-NAME and :LOCAL-VARIABLE
  ;;;
  ;;;  NOTE: "{}" is parsed directly as :UNIT-PRODUCT-SORT,
  ;;;        but in the documentation, it's viewed as 0 entries in :SORT-RECORD
  
negative.code:   (:anyof "=" "is"))
  
  ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
  ;;;        but use :NON-KEYWORD-NAME instead for :SORT-NAME and :LOCAL-VARIABLE
  (define-sw-parser-rule :NAME ()
    (:anyof
     ((:tuple "=")           "=")		; so we can use = (and "is" ?) as an op-name
  