Add a new "abi" which supports the full type grammar

phases/ephemeral/witx/typenames.witx

@@ -5,6 +5,8 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
+(module $typenames
+
 ;;; An array size.
 ;;;
 ;;; Note: This is similar to `size_t` in POSIX.
@@ -707,3 +709,5 @@
     $prestat_dir
   )
 )
+
+)

phases/ephemeral/witx/wasi_ephemeral_args.witx

@@ -3,9 +3,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $errno $size from $typenames)
-
 (module $wasi_ephemeral_args
+  (use $errno $size from $typenames)
+
   ;;; Read command-line argument data.
   ;;; The size of the array should match that returned by `sizes_get`.
   ;;; Each argument is expected to be `\0` terminated.

phases/ephemeral/witx/wasi_ephemeral_clock.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $clockid $timestamp $errno from $typenames)
-
 (module $wasi_ephemeral_clock
+  (use $clockid $timestamp $errno from $typenames)
+
   ;;; Return the resolution of a clock.
   ;;; Implementations are required to provide a non-zero value for supported clocks. For unsupported clocks,
   ;;; return `errno::inval`.

phases/ephemeral/witx/wasi_ephemeral_environ.witx

@@ -3,9 +3,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $errno $size from $typenames)
-
 (module $wasi_ephemeral_environ
+  (use $errno $size from $typenames)
+
   ;;; Read environment variable data.
   ;;; The sizes of the buffers should match that returned by `sizes_get`.
   ;;; Key/value pairs are expected to be joined with `=`s, and terminated with `\0`s.

phases/ephemeral/witx/wasi_ephemeral_fd.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use * from $typenames)
-
 (module $wasi_ephemeral_fd
+  (use * from $typenames)
+
   ;;; Provide file advisory information on a file descriptor.
   ;;; Note: This is similar to `posix_fadvise` in POSIX.
   (@interface func (export "advise")

phases/ephemeral/witx/wasi_ephemeral_path.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use * from $typenames)
-
 (module $wasi_ephemeral_path
+  (use * from $typenames)
+
   ;;; Create a directory.
   ;;; Note: This is similar to `mkdirat` in POSIX.
   (@interface func (export "create_directory")

phases/ephemeral/witx/wasi_ephemeral_poll.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $event $subscription $size $errno from $typenames)
-
 (module $wasi_ephemeral_poll
+  (use $event $subscription $size $errno from $typenames)
+
   ;;; Concurrently poll for the occurrence of a set of events.
   ;;;
   ;;; If `nsubscriptions` is 0, returns `errno::inval`.

phases/ephemeral/witx/wasi_ephemeral_proc.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $exitcode from $typenames)
-
 (module $wasi_ephemeral_proc
+  (use $exitcode from $typenames)
+
   ;;; Terminate the process normally. An exit code of `$exitcode::success`
   ;;; reports successful completion of the program. An exit code of
   ;;; `$exitcode::failure` or any other value less than 126 reports a

phases/ephemeral/witx/wasi_ephemeral_random.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $errno $size from $typenames)
-
 (module $wasi_ephemeral_random
+  (use $errno $size from $typenames)
+
   ;;; Write high-quality random data into a buffer.
   ;;; This function blocks when the implementation is unable to immediately
   ;;; provide sufficient high-quality random data.

phases/ephemeral/witx/wasi_ephemeral_sched.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use $errno from $typenames)
-
 (module $wasi_ephemeral_sched
+  (use $errno from $typenames)
+
   ;;; Temporarily yield execution of the calling thread.
   ;;; Note: This is similar to `yield` in POSIX.
   (@interface func (export "yield")

phases/ephemeral/witx/wasi_ephemeral_sock.witx

@@ -5,9 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use * from $typenames)
-
 (module $wasi_ephemeral_sock
+  (use * from $typenames)
+
   ;;; Receive a message from a socket.
   ;;; Note: This is similar to `recv` in POSIX, though it also supports reading
   ;;; the data into multiple buffers in the manner of `readv`.