Store precedence with default declaration
Tweak calc example
Fix expandDefaultTerminal for precedence annotated defaults
Inhibit DEFAULT in every branch. Buggy
Fix computation of set difference (shame on me)
Item: fix propagation of inhibited sets in init and printing
Fix and simplify treatment of nullable
WIP: Symbol.T Terminal.t -> Symbol.T TerminalSet.t