updates automata library to use symbol matching and not character matching.
removes references to CharacterSymbol in favor of ISymbol
adds set symbols renames range symbol