Nicer soundness for our update modalities
Following !229 (merged), this adjusts our update modality soundness statements to follow the same style.
Following !229 (merged), this adjusts our update modality soundness statements to follow the same style.