Initial rough sketch of fix for pr12905.

The problem is that we do not use the argument types for the expected type if more than one function arity exists even if only one arity matches the number of arguments.

This solves it for the simple cases, but still needs work for filters and drest arguments. Any pointers on where to look for how to do that?