alphabet is now a BNF property
increased exception verbosity
added test for Sequence
fixes broken tests