Make Arithmetic test more standard

I made the Arithmetic test to replicate pegen's `x` test which was exhibited pathological backtracking for recursive descent. However the test as defined for these benchmarks doesn't have the same issues, yet it still has some of the odd structure. Using a more standard definition might make it easier to port the example "calculator parsers of some parsing libraries.