Debugging... barely any changes here.
GrammarDemo works now, as long as you keep all the set theory grammar rules commented out; still not sure why other rules are causing NoneType errors.