It would be useful in our visitors and predicates if all the loop statements were subtypes of a common type designating loop-i-ness. @efortuna fyi