add menhir implementation of arith

for benchmark comparisons