added dummy prover to benchs.ini to extract the result
small fixes:
- in Monome, use quotient_e for integers, so that its always defined
- in modularArith, use a positive gcd
allow destructive equality resolution in more cases (even with arith variables
if they are not shielded)