A Better TypeScript?

Am I the only one who wants a better typescript?

Wishlist:

  - Get rid of js footguns like == type coercion (and a bunch of legacy cruft, like maybe `switch`)
  - The addition of `match` expressions with `Option` and `Result` ADTs
  - No more any, null, or undefined
  - A great FFI story for js-interop (like ts has)
  - Support for JSX
  - Compiles to JS (or maybe to JSX in "preserve" mode, which would allow something like the Solidjs compiler to work on it)

I am one of the dozens of people who actually liked Coffeescript. I know about Civet (it's not scratching my itch). I am enjoying using Rescript (couldn't get into Elm), and I've looked at Purescript, Fable... But I think there's something better out there.