more return types

spec.html

@@ -6401,7 +6401,7 @@ <h1>
         GetMethod (
           _V_: an ECMAScript language value,
           _P_: a property key,
-        ): a Completion Record normally containing a callable object or *undefined*
+        ): a Completion Record normally containing a function object or *undefined*
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6668,7 +6668,7 @@ <h1>
         SpeciesConstructor (
           _O_: an Object,
           _defaultConstructor_: a constructor,
-        )
+        ): a Completion Record normally containing a constructor
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6690,7 +6690,7 @@ <h1>
         EnumerableOwnPropertyNames (
           _O_: an Object,
           _kind_: ~key~, ~value~, or ~key+value~,
-        )
+        ): a Completion Record normally containing a List
       </h1>
       <dl class="header">
       </dl>
@@ -6717,7 +6717,7 @@ <h1>
       <h1>
         GetFunctionRealm (
           _obj_: a function object,
-        )
+        ): a Completion Record normally containing a Realm Record
       </h1>
       <dl class="header">
       </dl>
@@ -6744,7 +6744,7 @@ <h1>
           _target_: an Object,
           _source_: an ECMAScript language value,
           _excludedItems_: a List of property keys,
-        )
+        ): a Completion Record normally containing _target_
       </h1>
       <dl class="header">
       </dl>
@@ -6774,7 +6774,7 @@ <h1>
         PrivateElementFind (
           _O_: an Object,
           _P_: a Private Name,
-        )
+        ): a PrivateElement or ~empty~
       </h1>
       <dl class="header">
       </dl>
@@ -6792,14 +6792,15 @@ <h1>
           _O_: an Object,
           _P_: a Private Name,
           _value_: an ECMAScript language value,
-        )
+        ): a Completion Record normally containing ~unused~
       </h1>
       <dl class="header">
       </dl>
       <emu-alg>
         1. Let _entry_ be ! PrivateElementFind(_O_, _P_).
         1. If _entry_ is not ~empty~, throw a *TypeError* exception.
         1. Append PrivateElement { [[Key]]: _P_, [[Kind]]: ~field~, [[Value]]: _value_ } to _O_.[[PrivateElements]].
+        1. Return ~unused~.
       </emu-alg>
     </emu-clause>
 
@@ -6808,7 +6809,7 @@ <h1>
         PrivateMethodOrAccessorAdd (
           _O_: an Object,
           _method_: a PrivateElement,
-        )
+        ): a Completion Record normally containing ~unused~
       </h1>
       <dl class="header">
       </dl>
@@ -6817,16 +6818,19 @@ <h1>
         1. Let _entry_ be ! PrivateElementFind(_O_, _method_.[[Key]]).
         1. If _entry_ is not ~empty~, throw a *TypeError* exception.
         1. Append _method_ to _O_.[[PrivateElements]].
-        1. NOTE: The values for private methods and accessors are shared across instances. This step does not create a new copy of the method or accessor.
+        1. Return ~unused~.
       </emu-alg>
+      <emu-note>
+        <p>The values for private methods and accessors are shared across instances. This operation does not create a new copy of the method or accessor.</p>
+      </emu-note>
     </emu-clause>
 
     <emu-clause id="sec-privateget" type="abstract operation">
       <h1>
         PrivateGet (
           _O_: an Object,
           _P_: a Private Name,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
       </dl>
@@ -6848,7 +6852,7 @@ <h1>
           _O_: an Object,
           _P_: a Private Name,
           _value_: an ECMAScript language value,
-        )
+        ): a Completion Record normally containing ~unused~
       </h1>
       <dl class="header">
       </dl>
@@ -6864,6 +6868,7 @@ <h1>
           1. If _entry_.[[Set]] is *undefined*, throw a *TypeError* exception.
           1. Let _setter_ be _entry_.[[Set]].
           1. Perform ? Call(_setter_, _O_, &laquo; _value_ &raquo;).
+        1. Return ~unused~.
       </emu-alg>
     </emu-clause>
 
@@ -6872,7 +6877,7 @@ <h1>
         DefineField (
           _receiver_: an Object,
           _fieldRecord_: a ClassFieldDefinition Record,
-        )
+        ): a Completion Record normally containing ~unused~
       </h1>
       <dl class="header">
       </dl>
@@ -6887,6 +6892,7 @@ <h1>
         1. Else,
           1. Assert: ! IsPropertyKey(_fieldName_) is *true*.
           1. Perform ? CreateDataPropertyOrThrow(_receiver_, _fieldName_, _initValue_).
+        1. Return ~unused~.
       </emu-alg>
     </emu-clause>
 
@@ -6895,7 +6901,7 @@ <h1>
         InitializeInstanceElements (
           _O_: an Object,
           _constructor_: an ECMAScript function object,
-        )
+        ): a Completion Record normally containing ~unused~
       </h1>
       <dl class="header">
       </dl>
@@ -6906,6 +6912,7 @@ <h1>
         1. Let _fields_ be the value of _constructor_.[[Fields]].
         1. For each element _fieldRecord_ of _fields_, do
           1. Perform ? DefineField(_O_, _fieldRecord_).
+        1. Return ~unused~.
       </emu-alg>
     </emu-clause>
   </emu-clause>
@@ -6920,7 +6927,7 @@ <h1>
           _obj_: unknown,
           optional _hint_: ~sync~ or ~async~,
           optional _method_: unknown,
-        )
+        ): a Completion Record normally containing an Iterator Record
       </h1>
       <dl class="header">
       </dl>
@@ -6947,7 +6954,7 @@ <h1>
         IteratorNext (
           _iteratorRecord_: unknown,
           optional _value_: unknown,
-        )
+        ): a Completion Record normally containing an Object
       </h1>
       <dl class="header">
       </dl>
@@ -6965,7 +6972,7 @@ <h1>
       <h1>
         IteratorComplete (
           _iterResult_: an Object,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
       </dl>
@@ -6978,7 +6985,7 @@ <h1>
       <h1>
         IteratorValue (
           _iterResult_: an Object,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
       </dl>
@@ -6991,7 +6998,7 @@ <h1>
       <h1>
         IteratorStep (
           _iteratorRecord_: unknown,
-        )
+        ): a Completion Record normally containing an Object or *false*
       </h1>
       <dl class="header">
         <dt>description</dt>