updated .gitignore
Sketched out grammars, formulas, and symbols in grammar.py