Improve HoTT code readability.  Add protocol overview comments.