HTTCC: Bind, fetch, some algebra on state

We succeed to entail high order state operations, but still cannot join
them, we need to get rid of the dependency that pre and post introduce.