using check instead of lexer in parse function
lexes the string before calling the parser
alphabet is now a BNF property
increased exception verbosity
added test for Sequence
Merge branch 'master' into 46-remove-symbol-reduction
removed duplication detection code in Sequence
alphabet is now a property