[dm31] XDM: value space of map keys

[michaelhkay]

Section §2.8.2, defining map items, fails to state that the keys in a map can be atomic values of any type (and that they need not all be of the same type).