Banged symbols
fixpoint WIP
WIP
Bangednonterminal fixpoint successful :)
Refactor Bangednonterminal
WIP on inhibition
Working on arithmetic
Fix computation of Grammar.follow

TODO: fix inhib propagation in Item