Move segment and start operations to the end of instantiation in JS.md (#780)

* Move segment and start operations to the end

* Add link to Assert

* Fix grammar, add imported Tables link

1 files changed, 4 insertions, 1 deletions

diff --git a/Modules.md b/Modules.md
index ffaedaf..93f3d00 100644
--- a/Modules.md
+++ b/Modules.md
@@ -61,7 +61,8 @@ mismatch.
 
 A *global variable import* includes the *value type* and *mutability*
 of the global variable. These fields have the same meaning as in the
-[Global section](#global-section).
+[Global section](#global-section). In the MVP, global variable imports must be
+*immutable*.
 
 A *linear memory import* includes the same set of fields defined in the
 [Linear Memory section](#linear-memory-section): *default flag*, *initial
@@ -116,6 +117,8 @@ if another WebAssembly instance imports the definition, then both instances
 will share the same definition and the associated state (global variable value,
 linear memory bytes, table elements) is shared.
 
+In the MVP, only *immutable* global variables can be exported.
+
 ## Integration with ES6 modules
 
 While ES6 defines how to parse, link and execute a module, ES6 does not