Make DFA generator allow specifying transitions with enumerable types.