[munificent]

> since it offers many potential performance optimizations on top of what js is capable of.

It doesn't, unfortunately. TypeScript's type system is unsound, so the VM can rely on types for optimization.