Disallow whitespace as the first character of a reserved-body in a reserved-statement.

In the 'reserved-statement' nonterminal, there is an ambiguity if there is more
than one whitespace character between the 'reserved-keyword' and the first
non-whitespace character of the 'reserved-body', because these whitespace
characters can be seen as part of the 's' nonterminal or as part of the
'reserved-body' nonterminal.

According to the principles explained in #725 and the proposed resolution of
character; rather, such a whitespace character is meant to be interpreted
as part of the preceding 's' nonterminal.

Test case:
```
.regex   /foo/{xyz}{{hello}}
```

This patch removes this ambiguity, by disallowing whitespace as the first
character of a 'reserved-body' in a reserved-statement.

It thus fixes the first part of #721.

Details:
  - Other occurrences of 'resolved-body' (after a 'reserved-annotation' or
    'private-use-annotation') are not affected.
  - A new nonterminal 'resolved-body-part' is introduced, referenced twice.
  - A new nonterminal 'reserved-body-trimmed' is introduced, referenced once.
    Its purpose is to clarify that the two parts ('reserved-body-part' and
    'reserved-body') belong together.

Author: bhaible

spec/message.abnf

@@ -54,11 +54,12 @@ local = %s".local"
 match = %s".match"
 
 ; Reserve additional .keywords for use by future versions of this specification.
-reserved-statement = reserved-keyword [s reserved-body] 1*([s] expression)
+reserved-statement = reserved-keyword [s reserved-body-trimmed] 1*([s] expression)
 ; Note that the following production is a simplification,
 ; as this rule MUST NOT be considered to match existing keywords
 ; (`.input`, `.local`, and `.match`).
 reserved-keyword   = "." name
+reserved-body-trimmed = reserved-body-part reserved-body
 
 ; Reserve additional sigils for use by future versions of this specification.
 reserved-annotation       = reserved-annotation-start reserved-body
@@ -67,7 +68,8 @@ reserved-annotation-start = "!" / "%" / "*" / "+" / "<" / ">" / "?" / "~"
 ; Reserve sigils for private-use by implementations.
 private-use-annotation    = private-start reserved-body
 private-start             = "^" / "&"
-reserved-body             = *([s] 1*(reserved-char / reserved-escape / quoted))
+reserved-body             = *([s] 1*reserved-body-part)
+reserved-body-part        = reserved-char / reserved-escape / quoted
 
 ; Names and identifiers
 ; identifier matches https://www.w3.org/TR/REC-xml-names/#NT-QName

spec/syntax.md

@@ -222,8 +222,9 @@ a similarly wide range of content as _reserved annotations_,
 but it MUST end with one or more _expressions_.
 
 ```abnf
-reserved-statement = reserved-keyword [s reserved-body] 1*([s] expression)
+reserved-statement = reserved-keyword [s reserved-body-trimmed] 1*([s] expression)
 reserved-keyword   = "." name
+reserved-body-trimmed = reserved-body-part reserved-body
 ```
 
 > [!Note]
@@ -655,7 +656,8 @@ unrecognized _reserved-annotations_ or _private-use-annotations_ have no meaning
 reserved-annotation       = reserved-annotation-start reserved-body
 reserved-annotation-start = "!" / "%" / "*" / "+" / "<" / ">" / "?" / "~"
 
-reserved-body             = *([s] 1*(reserved-char / reserved-escape / quoted))
+reserved-body             = *([s] 1*reserved-body-part)
+reserved-body-part        = reserved-char / reserved-escape / quoted
 ```
 
 ## Markup