In Map k v, v stands for "value". So, since Map.keys gives you the keys of the Map, Map.values should give you the values of the Map.

I hence propose to add the following definition:

Map.values = Map.elems