Use script.LocalValue for arguments and this

According to the steps, `script.LocalValue` must include `script.RemoteReference` and `script.ChannelValue`. A priori, there is no purpose in `script.ArgumentValue`

index.bs

@@ -4391,7 +4391,7 @@ used to send custom messages from the [=remote end=] to the [=local end=].
 
 [=Remote end definition=]
 
-<pre class="cddl remote-cddl">
+<pre class="cddl remote-cddl local-cddl">
 script.ChannelValue = {
   type: "channel",
   value: script.ChannelProperties,
@@ -4528,7 +4528,9 @@ strong [=/map=] from handle ids to their corresponding objects.
 
 <pre class="cddl remote-cddl local-cddl">
 script.LocalValue = (
+  script.RemoteReference //
   script.PrimitiveProtocolValue //
+  script.ChannelValue //
   script.ArrayLocalValue //
   script.DateLocalValue //
   script.MapLocalValue //
@@ -5134,7 +5136,7 @@ The <code>script.RealmType</code> type represents the different types of Realm.
 
 [=Remote end definition=]
 
-<pre class="cddl remote-cddl">
+<pre class="cddl remote-cddl local-cddl">
 <!-- This is specifically ordered in the order in which matches need to be -->
 <!-- evaluated, since the definitions are overlapping -->
 script.RemoteReference = (
@@ -5953,7 +5955,7 @@ ownership will be treated.
 
 [=Remote end definition=]
 
-<pre class="cddl remote-cddl">
+<pre class="cddl remote-cddl local-cddl">
 script.SerializationOptions = {
   ? maxDomDepth: (js-uint / null) .default 0,
   ? maxObjectDepth: (js-uint / null) .default null,
@@ -6310,18 +6312,11 @@ Note: In case of an arrow function in <code>functionDeclaration</code>, the
         functionDeclaration: text,
         awaitPromise: bool,
         target: script.Target,
-        ? arguments: [*script.ArgumentValue],
+        ? arguments: [*script.LocalValue],
         ? resultOwnership: script.ResultOwnership,
         ? serializationOptions: script.SerializationOptions,
-        ? this: script.ArgumentValue,
+        ? this: script.LocalValue,
       }
-
-      script.ArgumentValue = (
-        script.RemoteReference //
-        script.LocalValue //
-        script.ChannelValue
-      );
-
     </pre>
    </dd>
    <dt>Result Type</dt>