Better handling of mu abstraction and stack in equivalence (mantis #45)

[craff]

There is a FIXME in the code ... Don't know what should be done

Can add the equations that were proved for mu-abstraction and named terms:

• contraction of mu-abstractions
• elimination of consecutive stack resorations