Refactoring template parameter deduction code

1. Remove unnecessary `Scope::parameterSpecialization`

    Can determine the necessity of `semantic` by using `Type::reliesOnTident`

2. Use TemplateParameter::matchArg in `Type::deduceType`

    Fix commented "BUG"s.