Adding back viable candidates verification.

Expanding support for partial overloading resolution, still unfinished for templates.