[Python-ideas] Type Implications in Python 4 (or 3.9)