Add mapVE for mapping over Vects in Eff

mapE existed for lists, but vectors were feeling left out.
Merge pull request #892 from SimonJF/eff-vect-map

Add mapVE for mapping over Vects in Eff