SE-0518: ~Sendable for explicitly marking non-Sendable types

[xwu (Xiaodi Wu)]

Thanks all. The steering group has decided to accept this proposal.