Iris 3.1

In addition to what we have in the milestone, the following was suggested:

• Complete the changelog.
• Update the appendix.
• Come to a conclusion wrt. notation levels of _ ;; _ and _ <- _ ;; _
• Make sure all our CI'd reverse dependencies build with master.