notation_id were compared using Pervasives.equal this was rarely triggering the

notation_id were compared using Pervasives.equal this was rarely triggering the
exception eq_on_functional_values. New implementation of compare using
a camlp5, that only provides an equality function, that is hacked to
return an integer.