I really love TypeScript. But I have always considered the end game of TypeScript to be that it’s inference engine (and third party libraries) become so good that you can just can write ECMAScript and get all the benefits of typescript.

I wouldn’t give up all my structural type inference for the 1:1 you’re describing, but it is tempting.