Add decongestion strategies.
Move static_assert() to the right scope.
Spec: All LSIDs are in sender space.
Spec: reformat table.
Spec: fix ambiguities.
Spec: better describe priority.