> I think a language in Python's niche that was created today would have a simple type system with extensive inference

How do you think a “simple type system”, suitable for a Python-like language, would look?

The type systems that have been developed for Python itself, for example MyPy, are far from simple.