define repeat operation

[petri]

Define how to run an operation repeatedly, possibly with context taken from an iterator for each run.

[petri]

There is now a Wiki page for the Repeat extension.