Add 'stream' type

Author: lukewagner

design/mvp/Async.md

@@ -107,6 +107,7 @@ Thus, backpressure combined with the partitioning of low-level state provided
 by the Component Model enables sync and async code to interoperate while
 preserving the expectations of both.
 
+TODO: describe
 [TODO](#todo): `future` and `stream` types that can be used in function
 signatures will be added next.
 
@@ -445,21 +446,24 @@ For now, this remains a [TODO](#todo) and validation will reject `async`-lifted
 
 ## TODO
 
-Native async support is being proposed in progressive chunks. The following
-features will be added in future chunks to complete "async" in Preview 3:
-* `future`/`stream`/`error`: add for use in function types for finer-grained
-  concurrency
-* `subtask.cancel`: allow a supertask to signal to a subtask that its result is
-  no longer wanted and to please wrap it up promptly
-* allow "tail-calling" a subtask so that the current wasm instance can be torn
-  down eagerly
-* `task.index`+`task.wake`: allow tasks in the same instance to wait on and
-  wake each other (async condvar-style)
+Native async support is being proposed incrementally. The following features
+will be added in future chunks roughly in the order list to complete the full
+"async" story:
 * `nonblocking` function type attribute: allow a function to declare in its
   type that it will not transitively do anything blocking
+* add `error` type that can be included when closing a stream/future
+* add `future` type (maybe integrate with `lower async` to enable pipelines?)
+* define what `async` means for `start` functions
+* `task.index`+`task.wake`: allow tasks in the same instance to wait on and
+  wake each other (async condvar-style)
+* `subtask.cancel`: allow a supertask to signal to a subtask that its result is
+  no longer wanted and to please wrap it up promptly
+* `stream.lull` built-in that says "no more elements are coming for a while"
+* built-in to "tail-call" a subtask so that the current wasm instance can be torn
+  down eagerly while preserving "structured concurrency"
 * `recursive` function type attribute: allow a function to be reentered
-  recursively (instead of trapping)
-* enable `async` `start` functions
+  recursively (instead of trapping) for the benefit of donut wrapping
+* allow pipelining `stream.read`/`write` calls/buffers
 * integrate with `shared`: define how to lift and lower functions `async` *and*
   `shared`