Introduce protocol for effect-like expression nodes

[hamishknight]

Description

We ought to have a common protocol for try, await, and unsafe expression nodes, which would allow us to simplify the checks added in #3037.

[ahoppen]

Synced to Apple’s issue tracker as rdar://148548364

[grynspan]

See #2549