I think it would be helpful in a lot of cases (particularly for loops) for there to be a pattern that increments or decrements a provided number. I realize that you can just do num reflection 1, additive distillation or num reflection 1, subtractive distillation, but those take two patterns rather than one for an operation you're probably going to be using a lot in loop counters.