fix typo
rename "in_alphabet" to "letter" the transition label type for automata
no mutable states any more
SubSet not callable any more