syntax: aesthetic improvements to the `for` desugaring.