check if predicate f holds for all elements produced by this streamredefines Sequence.infix ∀:create a stream and check if predicate f holds for all elements produced