Tyjo jak říká klasik "pozdě, ale přece". Teď už ten typovej systém vypadá docela rozumně (předtím bylo vidět, jakej je to hack). Problém teď je, že Mypy to trošku nestíhá implementovat.
Předpokládám, že to půjde poměrně snadno "modernizovat" a to i pomocí standardizovaných nástrojů, jako je třeba tenhle: https://github.com/asottile/pyupgrade