anchor.diff:     )
     1)
   
  +(define-sw-parser-rule :TIGHT-EXPRESSION-NOT-STARTING-WITH-BRACKET ()
  +  (:anyof
  +   (1 :APPLICATION-NOT-STARTING-WITH-BRACKET          :documentation "Application not starting with bracket")
  +   (1 :CLOSED-EXPRESSION-NOT-STARTING-WITH-BRACKET    :documentation "Closed expression -- unambiguous termination -- not starting with '['")
  +   )
  +  1)
  +
   ;;;  UNQUALIFIED-OP-REF is outside SELECTABLE-EXPRESSION to avoid ambiguity with "A.B.C"
   ;;;   being both SELECT (C, TWO-NAME-EXPRESSION (A,B))
   ;;;          and SELECT (C, SELECT (B, UNQUALIFIED-OP-REF A))
   ;;;  "X . SELECTOR" will be parsed as TWO-NAME-EXPRESSION and be disambiguated in post-processing
   (define-sw-parser-rule :CLOSED-EXPRESSION ()
     (:anyof
  +   (1 :CLOSED-EXPRESSION-NOT-STARTING-WITH-BRACKET)
  +   (1 :LIST-DISPLAY           :documentation "List") ; starts with left bracket
  +   )
  +  1)
  +
  +(define-sw-parser-rule :CLOSED-EXPRESSION-NOT-STARTING-WITH-BRACKET ()
  +  (:anyof
      (1 :BUILT-IN-OPERATOR      :documentation "&&, ||, =>, <=>, =, ~=, <<")
      (1 :UNQUALIFIED-OP-REF     :documentation "Op reference or Variable reference")
  -   (1 :SELECTABLE-EXPRESSION  :documentation "Closed expression -- unambiguous termination")
  +   (1 :SELECTABLE-EXPRESSION  :documentation "Closed expression -- unambiguous termination, not starting with [")
      (1 :RESTRICTION            :documentation "restrict p e -or- (restrict p) e") ; new, per task 22
      )
     1)
  
positive.code:    )
    1)
  
  (define-sw-parser-rule :NON-BRANCH-EXPRESSION ()
    (:anyof
     (1 :NON-BRANCH-LET-EXPRESSION  :documentation "Let not ending in case or lambda")
  
negative.code:    (1 :TUPLE-DISPLAY              :documentation "Tuple")
     (1 :RECORD-DISPLAY             :documentation "Record")
     (1 :SEQUENTIAL-EXPRESSION      :documentation "Sequence of expressions")
     (1 :STRUCTOR                   :documentation "Project, Embed, etc.")
     (1 :PARENTHESIZED-EXPRESSION   :documentation "Parenthesized expression")
     (1 :MONAD-EXPRESSION           :documentation "Monadic expression")
  