refactor introductory text
- discussion on general topics moved to main introduction
- discussion on consensus moved to causal introduction
note that context(m) is unambiguous, give an example of rewinding vector clocks, and elaborate on server-send order
diagram for full-ack logic, improve some wording, sketch rough protocol for consistency when parting a session