Collection selection and aggregation: FilterNot predicate inversion

Express filtering and reductions with accurate boundary semantics.