SE-0418: Inferring Sendable for methods and key path literals

Thank you all for participating in the review. The language steering group has accepted the proposal; please see the announcement for more details.