Basic state machine designs and improving app data exchange states in the handshake docs

More/better docs are always nice.
Should this line and the line after be indented? You told me to indent it in #24 so might be a merge problem.