More unifier fixes.

Fixes to unification records:
  - Properly merge rmap.
  - Don't store redundant equations.

Other fixes:
  - Fix an issue where existing urecs weren't properly being merged
    in map_commut_assoc().