Infer argument and return types of callable values

It may be possible to infer the argument and return types of callable values in some cases. Here's an idea:

* Record the identity of a callable object given as an argument to a function.
* Record the identity of the called function when recording their argument/return types.
* Match the two identities from above to infer the type of a callable object.