Spec out immediate set ops, adjust batched counter spec
implement immediate set ops