Regarding the `map` and `filter` functions: Should we add these methods given that PHP already has an idiomatic way of decorating iterators, and that these types of filter and map operations are really simple with generators?