Add Bimap and ReadOnlyHashSet. Implement Nfa.MakeStateMap and Nfa.ReduceStateMap. Make unit tests for Nfa manipulation methods.