try to make statically typed state tree

[Taylor Holliday]

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