Fair warning: I don't know much about compilers.

Maybe it's an idea to make this a native Typescript compiler as it will profit much more from being compiled than pure JavaScript will?

This way it would probably still be possible to compile pure JavaScript but providing type information would allow the compiler to apply many more optimisations.

If I'm not mistaken V8 already does something similar to this with WASM (and I think asm.js).