Implemented the Counting Iterator

Please do not merge. To be discussed with @weese.

* Refactored the PositionIterator to inherit (both via subclassing and template subclassing) from the CountingIterator.
* Used concept checking to solve pre-existent ambiguity issues with operators on integral types vs iterators.
* Iterator tests work.
* Dox is missing.