A TypeScript-like language for WebAssembly.