re-attempt at SequentialExec, preserving distinction between for loop kinds
...