filter

filter : ((X -> boolean) (listof X) -> (listof X))

purpose:
to construct a list from all those items on a list for which the predicate holds