Feature: Ability to compile typescript code.

[john-bv]

Typesharp have should have the option to compile typescript.
We obviously will run into a few issues on strictness, but the compiler should be able to fix this, by supplementing dynamic based types with strict ones. EG Number class is converted into typesharp numeric inferences.