anchor.diff:    (MetaSlang::mkQualifiedId-2 1 2))
   
   (define-sw-parser-rule :OP-NAME ()
  -  (1 :NAME)
  -  1)
  +  :NAME)
   
   ;;; ------------------------------------------------------------------------
   ;;;  QUALIFIABLE-CLAIM-NAME 
  
positive.code: 
  (define-sw-parser-rule :NAME ()
    (:anyof
     ((:tuple "=")  "=")	; so we can use "="  in expressions, e.g "A = B"
     ((:tuple (1 :SYMBOL-NAME)) 1)
     ))
  
  
negative.code:   1)					; e.g. ("x" "y" "z") => (list "x" "y" "z")
  
  (define-sw-parser-rule :LOCAL-SORT-VARIABLE ()
    :SYMBOL-NAME)			; don't allow "="
  
  ;;; ------------------------------------------------------------------------
  ;;;  SORT-DEFINITION
  