Standardise naming

I'd rather call this a PCounter but it is called a GCounter in the
literature. Maintain consistency.