More straightforward definition of Universes.add_list_map.
Fixing semantics of HSet.inter and HSet.diff.