refactor: Use a `TypedDict` to annotate state dictionaries #6245

Job	Run time
External Tests	1m 53s
Test on 3.8 (tests) / ubuntu-latest / SQLAlchemy: 2	42s
Test on 3.9 (tests) / ubuntu-latest / SQLAlchemy: 2	40s
Test on 3.10 (tests) / ubuntu-latest / SQLAlchemy: 2	52s
Test on 3.11 (tests) / ubuntu-latest / SQLAlchemy: 2	38s
Test on 3.12 (tests) / ubuntu-latest / SQLAlchemy: 2	35s
Test on 3.8 (tests) / macos-latest / SQLAlchemy: 2	1m 4s
Test on 3.9 (tests) / macos-latest / SQLAlchemy: 2	38s
Test on 3.10 (tests) / macos-latest / SQLAlchemy: 2	38s
Test on 3.11 (tests) / macos-latest / SQLAlchemy: 2	34s
Test on 3.12 (tests) / macos-latest / SQLAlchemy: 2	40s
Test on 3.8 (tests) / windows-latest / SQLAlchemy: 2	1m 46s
Test on 3.9 (tests) / windows-latest / SQLAlchemy: 2	1m 39s
Test on 3.10 (tests) / windows-latest / SQLAlchemy: 2	1m 50s
Test on 3.11 (tests) / windows-latest / SQLAlchemy: 2	1m 45s
Test on 3.12 (tests) / windows-latest / SQLAlchemy: 2	1m 50s
Test on 3.12 (tests) / ubuntu-latest / SQLAlchemy: 1	49s
Test on 3.12 (doctest) / ubuntu-latest / SQLAlchemy: 2	24s
Test on 3.12 (mypy) / ubuntu-latest / SQLAlchemy: 2	45s
Test on 3.12 (deps) / ubuntu-latest / SQLAlchemy: 2	26s
Coverage	27s
	20m 35s

Provide feedback