`for` loops

[vegard]

It's worth considering how to share code with while (already implemented), i.e. whether to base one off the other, or base both off a more general loop construct.