Rename fields in State to be more descriptive and add more detailed…

… docs. (#41)

It can be difficult to understand the difference between the various
`Box<Behavior<A>>` fields in `State`. I've renamed them to be more
descriptive by switching most (but not all) from tuple structs to named
structs.