Breaking change: `Reserved` now has one constructor instead of 4

Reserved{,Confl}{,Mut} are all removed and replaced by Reserved m cf where m := InteriorMut | TyFrz and cf := ResConflicted | ResActivable

The reachability statement is adapted with InteriorMut and TyFrz unreachable from each other, and ResActivable able to become ResConflicted but not the opposite.

This may be an opportunity to also simplify the transition function by merging similar cases, but not today.

assigned to @neven

added 3 commits

• 2494573a...d41614d7 - 2 commits from branch master
• 6b8cdfd3 - Parameterized Reserved instead of 4 constructors

Compare with previous version

enabled an automatic merge when the pipeline for 6b8cdfd3 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 770b45f8 - Parameterized Reserved instead of 4 constructors

Compare with previous version

mentioned in commit 232c4dc4

merged