A WebAssembly runtime implemented in TypeScript types