Alphabets are now GrammarDefinitions
removed Definition from GrammarDefiniton and AlphabetDefinition
fixed Alphabet minsize property
removed unnecessary typechecking