Gabriel439 Add `map` refinement for `Vector`

Latest commit f195f5e

Oct 12, 2017