Implement filter(P,S): returns the subset containing all elements of S that satisfy a given predicate P.

[repejota]

Is your feature request related to a problem? Please describe.
filter(P,S): returns the subset containing all elements of S that satisfy a given predicate P.

https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)