renamed: ArithmeticGrammar -> DoubleArithmeticGrammar
fixed: README