Before this change the RULES would be attached to one for the names from
the module that appear on the left hand side. The choice depended on the
uniq that was generated, which are known to be non-deterministic (a
separate, bigger problem). Now we use OccNames which should be stable.
Analogously for instance declarations, but they are attached to one of
the types involved.