Cleanup comments and make them more consistent between messages.
Merge remote-tracking branch 'upstream/master' into hott-esc
Merge pull request #339 from sjwilks/hott-esc

Minor cleanup of comments for HoTT messages.