Normative: add global

 - Adds intrinsic `%GlobalThisValue%`
 - Sets it in `SetRealmGlobalObject`
 - Adds global name `global`

Per tc39/proposal-global#12

spec.html

@@ -1886,6 +1886,17 @@ <h1>Well-Known Intrinsic Objects</h1>
                 The constructor of async function objects (<emu-xref href="#sec-async-function-constructor"></emu-xref>)
               </td>
             </tr>
+            <tr>
+              <td>
+                %GlobalThisValue%
+              </td>
+              <td>
+                `global`
+              </td>
+              <td>
+                The initial value of the `global` property of the global object
+              </td>
+            </tr>
             <tr>
               <td>
                 %Int8Array%
@@ -5889,11 +5900,12 @@ <h1>CreateIntrinsics ( _realmRec_ )</h1>
       <h1>SetRealmGlobalObject ( _realmRec_, _globalObj_, _thisValue_ )</h1>
       <p>The abstract operation SetRealmGlobalObject with arguments _realmRec_, _globalObj_, and _thisValue_ performs the following steps:</p>
       <emu-alg>
+        1. Let _intrinsics_ be _realmRec_.[[Intrinsics]].
         1. If _globalObj_ is *undefined*, then
-          1. Let _intrinsics_ be _realmRec_.[[Intrinsics]].
           1. Let _globalObj_ be ObjectCreate(_intrinsics_.[[%ObjectPrototype%]]).
         1. Assert: Type(_globalObj_) is Object.
         1. If _thisValue_ is *undefined*, let _thisValue_ be _globalObj_.
+        1. Set _intrinsics_.[[%GlobalThisValue%]] to _thisValue_.
         1. Set _realmRec_.[[GlobalObject]] to _globalObj_.
         1. Let _newGlobalEnv_ be NewGlobalEnvironment(_globalObj_, _thisValue_).
         1. Set _realmRec_.[[GlobalEnv]] to _newGlobalEnv_.
@@ -23237,6 +23249,12 @@ <h1>Math</h1>
       <h1>Reflect</h1>
       <p>See <emu-xref href="#sec-reflect-object"></emu-xref>.</p>
     </emu-clause>
+
+    <emu-clause id="sec-global">
+      <h1>global</h1>
+      <p>The initial value of `global` is the well-known intrinsic object <dfn>%GlobalThisValue%</dfn>.</p>
+      <p>This property has the attributes { [[Writable]]: *true*, [[Enumerable]]: *false*, [[Configurable]]: *true* }.</p>
+    </emu-clause>
   </emu-clause>
 </emu-clause>