I/O Types proposal for WASI - View it on GitHub