I'm a bit sorry I implemented opApply. The conversion of the loop body to a lambda is a tricky beast, and in general such complex rewrites are not a good idea. The language should be straightforward.