TS has the luxury of being its own distinct language, defining its own semantics and having its own compiler. You could have something like that targeting Python.