Adding the PNCounter

The PNCounter allows both incrementing and decrementing
by keeping two GCounters