Following Xilem, try to make a statically typed state tree. If successful, this will eliminate the use of `dyn Any` in `Context`.