say things about modalities

A question recently came up about the Iris Documentation that was mostly about the modalities, and I realized we do not really say anything about them. So I wrote a few paragraphs.

Once this lands, I'll backport it to the 3.2 branch and update the appendix-3.2.pdf.