redesign StateType, SymbolType retrieval from FSMs

alib2algo/src/automaton/convert/ToGrammar.h

alib2algo/src/automaton/convert/ToGrammarLeftRG.h

alib2algo/src/automaton/convert/ToGrammarRightRG.h

alib2algo/src/automaton/convert/ToRegExp.h

alib2algo/src/automaton/convert/ToRegExpAlgebraic.h

alib2algo/src/automaton/convert/ToRegExpKleene.h

alib2algo/src/automaton/convert/ToRegExpStateElimination.h

alib2algo/src/automaton/generate/RandomizeAutomaton.cpp

alib2algo/src/automaton/properties/DistinguishableStates.h

alib2algo/src/automaton/properties/InfiniteLanguage.h

alib2algo/src/automaton/properties/ReachableStates.h

alib2algo/src/automaton/properties/UndistinguishableStates.h

alib2algo/src/automaton/properties/UsefulStates.h

alib2algo/src/automaton/simplify/Rename.h

alib2algo/src/automaton/simplify/UnreachableStatesRemover.h

alib2algo/src/automaton/simplify/UselessStatesRemover.h

...automaton/transform/AutomatonIterationEpsilonTransition.h

alib2algo/src/automaton/transform/Compaction.h

alib2data/src/automaton/Automaton.h

...elgo/src/automaton/properties/efficient/ReachableStates.h