Update Fill to deduce value to be a range of length 1.
Correct code calling StepOverCounted to only make this call when  the stepping DeductionTag is “regular” in the sense of stepping forwards/backwards by one each step. Added RegularDeduceStepOperation to allow specification for when this is the case.