Added some arithemetic-grammer and test