try to make statically typed state tree

[wtholliday]

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