union of two ps_maps

creates a new ps_map that maps all the keys that exist either in ps_map.this
or in other to the values they are mapped to. In case a key k exists in
both ps_map.this and other, it will be mapped to ps_map.this[k] or to other[k],
but it is undefined to which of these two.