typed-wasm: Progressive Type Safety for WebAssembly Linear Memory | Synapse