Infer argument and return types of callable values

[JukkaL]

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.