Do we want to keep using this definition of `map` on the new vectors? As I understand it, `map` on `~[T]` is considered deprecated for a long time, as iterators allow one to express the same, and if we ever get `Iterable` it would conflict anyway.