Add mapVE for mapping over Vects in Eff

mapE existed for lists, but vectors were feeling left out.