Editorial: Drop grammatical parameters from 'use' productions

(They're not mentioned in accompanying prose,
so there's no point repeating them.)

spec.html

@@ -21742,7 +21742,7 @@ <h1>Static Semantics: HasName</h1>
     <emu-clause id="sec-async-arrow-function-definitions-static-semantics-IsSimpleParameterList">
       <h1>Static Semantics: IsSimpleParameterList</h1>
       <emu-grammar>
-        AsyncArrowBindingIdentifier[Yield] : BindingIdentifier[?Yield, +Await]
+        AsyncArrowBindingIdentifier : BindingIdentifier
       </emu-grammar>
       <emu-alg>
         1. Return *true*.
@@ -30996,25 +30996,25 @@ <h1>Static Semantics: Early Errors</h1>
             It is a Syntax Error if IsCharacterClass of |ClassAtomNoDash| is *false* and IsCharacterClass of |ClassAtom| is *false* and the CharacterValue of |ClassAtomNoDash| is larger than the CharacterValue of |ClassAtom|.
           </li>
         </ul>
-        <emu-grammar>RegExpIdentifierStart[U] :: `\` RegExpUnicodeEscapeSequence[+U]</emu-grammar>
+        <emu-grammar>RegExpIdentifierStart :: `\` RegExpUnicodeEscapeSequence</emu-grammar>
         <ul>
           <li>
             It is a Syntax Error if the CharacterValue of |RegExpUnicodeEscapeSequence| is not the code point value of *"$"*, *"_"*, or some code point matched by the |UnicodeIDStart| lexical grammar production.
           </li>
         </ul>
-        <emu-grammar>RegExpIdentifierStart[U] :: UnicodeLeadSurrogate UnicodeTrailSurrogate</emu-grammar>
+        <emu-grammar>RegExpIdentifierStart :: UnicodeLeadSurrogate UnicodeTrailSurrogate</emu-grammar>
         <ul>
           <li>
             It is a Syntax Error if the result of performing UTF16DecodeSurrogatePair on the two code points matched by |UnicodeLeadSurrogate| and |UnicodeTrailSurrogate| respectively is not matched by the |UnicodeIDStart| lexical grammar production.
           </li>
         </ul>
-        <emu-grammar>RegExpIdentifierPart[U] :: `\` RegExpUnicodeEscapeSequence[+U]</emu-grammar>
+        <emu-grammar>RegExpIdentifierPart :: `\` RegExpUnicodeEscapeSequence</emu-grammar>
         <ul>
           <li>
             It is a Syntax Error if the CharacterValue of |RegExpUnicodeEscapeSequence| is not the code point value of *"$"*, *"_"*, &lt;ZWNJ&gt;, &lt;ZWJ&gt;, or some code point matched by the |UnicodeIDContinue| lexical grammar production.
           </li>
         </ul>
-        <emu-grammar>RegExpIdentifierPart[U] :: UnicodeLeadSurrogate UnicodeTrailSurrogate</emu-grammar>
+        <emu-grammar>RegExpIdentifierPart :: UnicodeLeadSurrogate UnicodeTrailSurrogate</emu-grammar>
         <ul>
           <li>
             It is a Syntax Error if the result of performing UTF16DecodeSurrogatePair on the two code points matched by |UnicodeLeadSurrogate| and |UnicodeTrailSurrogate| respectively is not matched by the |UnicodeIDContinue| lexical grammar production.
@@ -31277,9 +31277,9 @@ <h1>Static Semantics: SourceText</h1>
         <h1>Static Semantics: StringValue</h1>
         <emu-see-also-para op="StringValue"></emu-see-also-para>
         <emu-grammar>
-          RegExpIdentifierName[U] ::
-            RegExpIdentifierStart[?U]
-            RegExpIdentifierName[?U] RegExpIdentifierPart[?U]
+          RegExpIdentifierName ::
+            RegExpIdentifierStart
+            RegExpIdentifierName RegExpIdentifierPart
         </emu-grammar>
         <emu-alg>
           1. Let _idText_ be the source text matched by |RegExpIdentifierName|.