Update V1.md

Author: lukewagner

V1.md

@@ -92,10 +92,10 @@ precise descriptions of:
    * An load-time error is raised if the signature of an import does not match the signature of the export.
    * These imported functions can be called like other internal functions
      ([directly or indirectly](AstSemantics.md#calls)). 
- * A builtin function (implemented by the host environment) is provided to load modules at runtime.
+ * Modules can be loaded at runtime by a provided builtin function (implemented by the host environment).
    * Functions are again imported by name/signature with error on mismatch.
    * These imported functions can only be called [indirectly](AstSemantics.md#calls).
-   * An inverse builtin function would invalidate all existing function pointer values for a given
+   * Another builtin function would invalidate all existing function pointer values for a given
      dynamically-loaded module, allowing it to be unloaded from memory (as soon as it is not active 
      on the stack and not referenced elsewhere).
  * All forms of module import produce disjoint [heaps](V1.md#heap) and do not allow function-pointer