Fill in some of the missing ops for Map.hs