> That said, there's probably a nice space for an ergonomic, reasonably fast PL that sits between Rust and JS.

Other than not running natively in web browsers, isn't that language called Ocaml?