> Everyone is focused on targeting WASM with several languages but is missing the big problem: lack of a standard library

I'm not so sure that's a problem that would benefit WASM to solve. Right now the imports Emscripten provide are the defacto standard lib, which does shape how other projects approach WASM.

I feel a large reason behind seeing so many interesting toy projects that use WASM (and it's quick cross browser adoption) is due to it having such a small scope. Define a portable, easily optimizable VM.

The big challenge there is to support higher level concepts like GC, you need to make that work at a machine level, not a standard library level.