Can I make a key-value dictionary in TypeScript that's typesafe for every key-value pair?

Question

This question\'s kind of involved, and possibly best approached by exploring a rudimentary state system, so walk with me here for a minute. Suppose I have this state class: