Wrote some documentation for Envelope and MessageSummary