> Modern python is no longer dynamic.

Of course it still is.

The type hints have no runtime semantics whatsoever.

The actual type-checking still happens at runtime in Python, and is not related to any static checks. Out of the perspective of Python's interpreter the type hints don't even exist. They're like comments…

Static type checking is not part of Python!

> Python also has ADTs which match it in power to rust.

All Turing-complete languages match each other in power…

Besides that:

Python doesn't have a static type system in the first place, so it can't compete with Rust in this regard. That's not even the same game.