All good questions. But... it would simply eliminate a step and result in a single language.
Python supports types and is interpreted, right?
Python supports types and is interpreted, right?
Python "just" (that word is doing a lot of work) updated the interpreter to ignore the type hints. It still runs the same way as code without hints.
There's a bit more going on with TS that you couldn't just have the runtime ignore the types.