An abstract class for enumerating pseudo-prime numbers.
Concrete subclasses should override succ, next, rewind.