That's right, but imho type hints are no the way to go, specially when many types could actually be statically inferred by the compiler/interpreter.

Perhaps the solution would be a full blown programming language which transpiled to Python the same way Typescript does. So, MyPi, but much more developed: interfaces, type inference, generics... Having access to all the Python libraries.