Editorial: Reword preambles of Module Record concrete methods

... according to the format of issue tc39#1981.

(In the process, drop occurrences of
"implements the corresponding Module Record abstract method"
from the current preambles: it doesn't add anything.)

spec.html

@@ -23009,9 +23009,7 @@ <h1>Cyclic Module Records</h1>
 
         <emu-clause id="sec-moduledeclarationlinking" oldids="sec-moduledeclarationinstantiation">
           <h1>Link ( ) Concrete Method</h1>
-          <p>The Link concrete method of a Cyclic Module Record implements the corresponding Module Record abstract method.</p>
-          <p>On success, Link transitions this module's [[Status]] from ~unlinked~ to ~linked~. On failure, an exception is thrown and this module's [[Status]] remains ~unlinked~.</p>
-          <p>This abstract method performs the following steps (most of the work is done by the auxiliary function InnerModuleLinking):</p>
+          <p>The Link concrete method of a Cyclic Module Record takes no arguments. On success, Link transitions this module's [[Status]] from ~unlinked~ to ~linked~. On failure, an exception is thrown and this module's [[Status]] remains ~unlinked~. (Most of the work is done by the auxiliary function InnerModuleLinking.) It performs the following steps when called:</p>
 
           <emu-alg>
             1. Let _module_ be this Cyclic Module Record.
@@ -23074,10 +23072,7 @@ <h1>InnerModuleLinking ( _module_, _stack_, _index_ )</h1>
 
         <emu-clause id="sec-moduleevaluation">
           <h1>Evaluate ( ) Concrete Method</h1>
-          <p>The Evaluate concrete method of a Cyclic Module Record implements the corresponding Module Record abstract method.</p>
-          <p>Evaluate transitions this module's [[Status]] from ~linked~ to ~evaluated~.</p>
-          <p>If execution results in an exception, that exception is recorded in the [[EvaluationError]] field and rethrown by future invocations of Evaluate.</p>
-          <p>This abstract method performs the following steps (most of the work is done by the auxiliary function InnerModuleEvaluation):</p>
+          <p>The Evaluate concrete method of a Cyclic Module Record takes no arguments. Evaluate transitions this module's [[Status]] from ~linked~ to ~evaluated~. If execution results in an exception, that exception is recorded in the [[EvaluationError]] field and rethrown by future invocations of Evaluate. (Most of the work is done by the auxiliary function InnerModuleEvaluation.) It performs the following steps when called:</p>
 
           <emu-alg>
             1. Assert: This call to Evaluate is not happening at the same time as another call to Evaluate within the surrounding agent.
@@ -23722,8 +23717,7 @@ <h1>ParseModule ( _sourceText_, _realm_, _hostDefined_ )</h1>
 
         <emu-clause id="sec-getexportednames">
           <h1>GetExportedNames ( [ _exportStarSet_ ] ) Concrete Method</h1>
-          <p>The GetExportedNames concrete method of a Source Text Module Record implements the corresponding Module Record abstract method.</p>
-          <p>It performs the following steps when called:</p>
+          <p>The GetExportedNames concrete method of a Source Text Module Record takes optional argument _exportStarSet_. It performs the following steps when called:</p>
           <emu-alg>
             1. If _exportStarSet_ is not present, set _exportStarSet_ to a new empty List.
             1. Assert: _exportStarSet_ is a List of Source Text Module Records.
@@ -23755,10 +23749,10 @@ <h1>GetExportedNames ( [ _exportStarSet_ ] ) Concrete Method</h1>
 
         <emu-clause id="sec-resolveexport">
           <h1>ResolveExport ( _exportName_ [ , _resolveSet_ ] ) Concrete Method</h1>
-          <p>The ResolveExport concrete method of a Source Text Module Record implements the corresponding Module Record abstract method.</p>
+          <p>The ResolveExport concrete method of a Source Text Module Record takes argument _exportName_ and optional argument _resolveSet_.</p>
           <p>ResolveExport attempts to resolve an imported binding to the actual defining module and local binding name. The defining module may be the module represented by the Module Record this method was invoked on or some other module that is imported by that module. The parameter _resolveSet_ is used to detect unresolved circular import/export paths. If a pair consisting of specific Module Record and _exportName_ is reached that is already in _resolveSet_, an import circularity has been encountered. Before recursively calling ResolveExport, a pair consisting of _module_ and _exportName_ is added to _resolveSet_.</p>
           <p>If a defining module is found, a ResolvedBinding Record { [[Module]], [[BindingName]] } is returned. This record identifies the resolved binding of the originally requested export, unless this is the export of a namespace with no local binding. In this case, [[BindingName]] will be set to *"\*namespace\*"*. If no definition was found or the request is found to be circular, *null* is returned. If the request is found to be ambiguous, the string *"ambiguous"* is returned.</p>
-          <p>This abstract method performs the following steps:</p>
+          <p>This concrete method performs the following steps when called:</p>
 
           <emu-alg>
             1. If _resolveSet_ is not present, set _resolveSet_ to a new empty List.
@@ -23803,8 +23797,7 @@ <h1>ResolveExport ( _exportName_ [ , _resolveSet_ ] ) Concrete Method</h1>
 
         <emu-clause id="sec-source-text-module-record-initialize-environment" aoid="InitializeEnvironment">
           <h1>InitializeEnvironment ( ) Concrete Method</h1>
-          <p>The InitializeEnvironment concrete method of a Source Text Module Record implements the corresponding Cyclic Module Record abstract method.</p>
-          <p>This abstract method performs the following steps:</p>
+          <p>The InitializeEnvironment concrete method of a Source Text Module Record takes no arguments. It performs the following steps when called:</p>
 
           <emu-alg>
             1. Let _module_ be this Source Text Module Record.
@@ -23868,8 +23861,7 @@ <h1>InitializeEnvironment ( ) Concrete Method</h1>
 
         <emu-clause id="sec-source-text-module-record-execute-module" aoid="ExecuteModule">
           <h1>ExecuteModule ( ) Concrete Method</h1>
-          <p>The ExecuteModule concrete method of a Source Text Module Record implements the corresponding Cyclic Module Record abstract method.</p>
-          <p>This abstract method performs the following steps:</p>
+          <p>The ExecuteModule concrete method of a Source Text Module Record takes no arguments. It performs the following steps when called:</p>
 
           <emu-alg>
             1. Let _module_ be this Source Text Module Record.