Detail divergence for the rest of the expressions #2152
Description
#2067 added a chapter on divergence with some rules for the divergence of some of the more tricky expressions like if or match. However, we were thinking of defining the behavior of some or all of the expressions explicitly. See #2067 (comment) for the discussion.
I have a draft where I am exploring how this is presented.
cc @jackh726