[Resolver] Prefer untemplated methods over templated methods;
Use primitive type implicit-cast rules (not forcing type equality anymore) when matching template args against expected parameters.