A compiler from Typescript to C#, thus to .NET