add inc/dec on Counter

In Java, there are versions without a parameter and with one, here I add inc/dec with the default parameter of 1.  They can also call +=/-+ instead.