Reworked predicate checking and composing, to allow for mixed iterator and value_type checks.
Removed a comment that was in the way.
Implementation checkpoint. Templates now choose correct version of checkPredicate, but those lambdas of course cannot be default constructed, as the have a capture list. Don't know where to store the "real" iterators.