SE-0416: Subtyping for keypath literals as functions

[John_McCall]

For completeness, I'll just note that Pavel Yaskevich answered Keith's question in the thread for SE-0418.