This is a proposal for the other half of this-types outlined in #3694. The first half -- class 'this' types -- was implemented in #4910. Motivation This-types for functions allows Typescript author...