Refactor Grammar.Recognizer to Production, further development of IDE, bug fix in WirthSyntaxNotation