Editorial: Recast NormalCompletion + ThrowCompletion (#2386)

... as regular abstract operations.

See
- #1142 (comment) and following
- #2384 (comment) and following

spec.html

@@ -3924,27 +3924,29 @@ <h1>Await</h1>
         </emu-note>
       </emu-clause>
 
-      <emu-clause id="sec-normalcompletion" aoid="NormalCompletion">
-        <h1>NormalCompletion</h1>
-        <p>The abstract operation NormalCompletion with a single _argument_, such as:</p>
-        <emu-alg>
-          1. Return NormalCompletion(_argument_).
-        </emu-alg>
-        <p>Is a shorthand that is defined as follows:</p>
+      <emu-clause id="sec-normalcompletion" type="abstract operation">
+        <h1>
+          NormalCompletion (
+            _value_: unknown,
+          )
+        </h1>
+        <dl class="header">
+        </dl>
         <emu-alg>
-          1. Return Completion { [[Type]]: ~normal~, [[Value]]: _argument_, [[Target]]: ~empty~ }.
+          1. Return Completion { [[Type]]: ~normal~, [[Value]]: _value_, [[Target]]: ~empty~ }.
         </emu-alg>
       </emu-clause>
 
-      <emu-clause id="sec-throwcompletion" aoid="ThrowCompletion">
-        <h1>ThrowCompletion</h1>
-        <p>The abstract operation ThrowCompletion with a single _argument_, such as:</p>
-        <emu-alg>
-          1. Return ThrowCompletion(_argument_).
-        </emu-alg>
-        <p>Is a shorthand that is defined as follows:</p>
+      <emu-clause id="sec-throwcompletion" type="abstract operation">
+        <h1>
+          ThrowCompletion (
+            _value_: an ECMAScript language value,
+          )
+        </h1>
+        <dl class="header">
+        </dl>
         <emu-alg>
-          1. Return Completion { [[Type]]: ~throw~, [[Value]]: _argument_, [[Target]]: ~empty~ }.
+          1. Return Completion { [[Type]]: ~throw~, [[Value]]: _value_, [[Target]]: ~empty~ }.
         </emu-alg>
       </emu-clause>