Latest updates

Got the explicit formulation in for the init-state->state relationship, but got no further.

Small amount of other cleanup too.

Also, Tristan's documentation so-far is in here.