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

This proposal interacts strongly with SE-0416, but I don't see details of that interaction in either this proposal or that one.