[nlitened]

I think it shows a lot of potential to turn TypeScript to what C++ has become.

[webstrand]

Unlikely, types intentionally cannot affect the emitted JavaScript. You can always get raw JavaScript from TypeScript code by blindly erasing the type annotations (and transforming a few special syntaxes).