Add more examples to instance list

1 files changed, 5 insertions, 2 deletions

diff --git a/Modules.md b/Modules.md
index e6aa6eb..612431b 100644
--- a/Modules.md
+++ b/Modules.md
@@ -20,10 +20,13 @@ An instance contains:
 * the code of the module from which the instance was loaded;
 * a [linear memory](AstSemantics.md#linear-memory);
 * [global variable](AstSemantics.md#global-variables) state;
-* fully resolved imports and exports;
-* (when [threading](PostMVP.md#threads) is added) thread-local state;
+* fully resolved imports;
+* host-specific state (for example, the JS function objects that reflect
+  exported functions to JS);
+* (when [threading](PostMVP.md#threads) is added) TLS variable state;
 * (when [dynamic linking](DynamicLinking.md) is added) the code of multiple modules
   that have been dynamically linked into the same instance;
+* and other semantically-visible state added by other future features.
 
 While WebAssembly modules are designed to interoperate with ES6 modules
 in a Web environment (more details [below](Modules.md#integration-with-es6-modules)),