It would seem that a version, or fork, of TypeScript that is NOT a superset of JavaScript (but can compile to JavaScript, and probably web-assembly) would be a much cleaner. powerfully expressive language.
I bet that would be a _very_ popular language. We could have higher-kinded types; the module/import system could be cleaned up a lot; we could have a proper standard library, decimal and integer types, be able to use JSX natively, and so on. It would probably also be less complex to implement than TS as it exists now. So why isn't Microsoft and any other group working on this?
[1] https://github.com/microsoft/TypeScript/issues/1213
Edit: title shortened
At the end of the day, Typescript is one way Microsoft is competing with Facebook. The only reason you want native JSX is because React won the framework wars. If Microsoft can win with Typescript, they'll have a larger say in the future of Javascript and then web development in general. They'll never move away from javascript.