Add Stream#filter: