Correct PCounter interface. PNCounter compiles.

TODO:
 - Rename PCounter -> GCounter
 - Update tests
 - Implement PNCounter