Implement 'for [formals] in [expr]'.