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.