managment of unification variable in equivalence Description (mantis #50)

[craff]

The current implementation seems to work but should be checked. The risk is to loose some equivalence/normalisation propagation when a unification variable gets instanciated.

HApp node are also concerned as their head is often an uninstanciated unification variable.

[craff]

HApp node are now treated correctly.