[12622+6447] EBNF operators (ex-XEDD from SLPS)
[12719+6449] Detecting a minimal notation
[12813+6447] Some basic infrastructure for normalisation
[12820+6447] The option to change the notation during normalisation
[12861+6447] Notational convergence implemented properly
[12877+6447] Switched from maps to sets during the convergence/normalisation process
Hammering the metaparsers to work
Fix incorrect parsing of Rascal grammars; parsing ANTLR4 grammars
Unsuccessful debugging of ANTLR4 extractor; greedy mode for GLUE
Type mappings more refined