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