[Python-ideas] decorator vs. 'with' analogy [was: Syntax for loop invariants]