Fix to error message.
Various code improvements for the Parser.
Moved benchmarking code to ParserTest.
Better handling of assertions.
Collapse common cases.
Make Rule.MetaData explicit.
Merge branch 'newparser-firstdraft' of github.com:kframework/k into newparser-firstdraft