modify method for munion
{1|->1} munion {1|->2} = {|->}
{1|->1} munion {2|->1} = {1|->1, 2|->1}
if m1 or m2 is a mapcomprehension expression, m1 munion m2 may return relation