[Resolver] Refactored template deduction engine by searching for matching template parameter *definition references* instead of *names*.
This may solves problems with equally named template parameters. Probably regressions with complicated is-Expressions