TemplateInstance.needsTypeInference

Determine if template instance is really a template function, and that template function needs to infer types from the function arguments.

Like findBestMatch, iterate possible template candidates, but just looks only the necessity of type inference.