[Python-ideas] Add a "closed for" loop (was "PEP 533 Redux?")