comparing predicates
more predicates and functionality
fast and memory saving inverse
empty iterators
unordered equals