Added gitignore.
Added arithmetic grammar.