BatSeq: Fix specification of `filter`

The previous specification for `filter` (and other functions) was nonsensical as it considered elements of a sequence that “occur” after an infinite number of other elements.

For instance, it could have lead one to understand that `filter (fun x -> x == 0)` should terminate on the sequence `1 1 1 1 ...`.