Bug fix:
The module Set was not satisfying its specification.
Adding an existing element to a set could rebalance the set (making physical equality test fail).

A patched module has been added.