Add `filter' to the prelude
Add `map' to the prelude