update docstrings in Grammar.py