Module pn_counter
cvrdt_exposition
Positive-Negative Counter
A vectorized counter than can grow or shrink