Add EOF start rule for metamath. Fix overlapping PRINTABLECHARACTER and LABEL.
Add EOF start rule for metamath. Fix overlapping PRINTABLECHARACTER and LABEL.

antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4,antlr/grammars-v4