SE-0416: Subtyping for keypath literals as functions

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