Simplify transitions data structure

[jvoigtlaender]

Something that's been bugging me for a while is this code:

sd-simulate/src/state_manager.py

Lines 26 to 31 in a14b38f

	if dest_key not in globals.transitions[source_key]:
	globals.transitions[source_key][dest_key] = {label: "Option 1"}
	else:
	counter = transition_counter.get((source_key, dest_key), 1) + 1
	transition_counter[(source_key, dest_key)] = counter
	globals.transitions[source_key][dest_key][label] = f"Option {counter}"

Specifically, the whole "Option" and counter business. It leads to structures like the following (or did at a time, based on inspection; I guess nothing has changed around this):

transitions = {
    "A": {"C": {"y": "Option 1", "a": "Option 2"}, "B": "f", "D": "z"},
    "B": {"D": {"b": "Option 3", "x": "Option 4"}},
    "C": {"D": "c", "A": "e"},
    "D": {"C": "d", "A": "e"},
}

I never got an explanation of what the numbers are used for. I think they simply aren't used.
The numbers don't seem to affect the behavior of the app. The user is never asked for one of these numbers, etc. So, it seems the data structure could simply be more like

transitions = {
    "A": {"C": ["y", "a"], "B": "f", "D": "z"},
    "B": {"D": ["b", "x"]},
    "C": {"D": "c", "A": "e"},
    "D": {"C": "d", "A": "e"},
}

What bugs me further is that the transitions global is type-annotated thus:

sd-simulate/src/globals.py

Line 17 in a14b38f

transitions: Dict[str, List[str]] = {}

which seems to be in disagreement with what the structure above shows. Is the "type checker" not catching this mismatch for some reason?