Fixed comments and applied GNU code style to Counter(s) classes,
implemented Counter::increment(int)