Clearer explanations around distributed transactions.

Addressed most comments for the other chapters. Still need to move
around stuff in the implementation chapter.
Moved some redundant stuff in appendix.