Fixed equals and hashCode for Symbol
Probably found a bug in the main implementation

When eliminating a rule, we have to remove the digram that contains the
non-terminal that we are about to remove.
Initial version of a presentation view
Bigger font