Update enum shorthand, == and reflow edition. (#4125)

Makes `==` only special-case second operand.

Keeps context type for second operand, set its shorthand context instead.
Remember to mention `== e` pattern.
Clean-up and reflow.