AbstractAlphabet: added many convenience methods
other little changes