map features for supporting non-commutativity
restrict_dom no longer throws exception if set is not contained in dom_set of map