Overall, much valuable fine-tune and enhancement for Sendable conditions.
IIRC, as we've already accepted SE-290 : Unavailability Condition, it's better to extend @unavailable as equivalent of @available(*,unavailable) for this scenario as alternative section mentioned in the proposal. TBH, it looks more natural and intuitive to write and read.