I want to like WASM but even simple things like continuations, tail call elimination, and dereferencing function pointers essentially require building your own

I want to like WASM but even simple things like continuations, tail call elimination, and dereferencing function pointers essentially require building your own VM ontop of it. Why couldn't we just agree on some sane, typeless bytecode and figure out how to write compilers to target it?