[Refactoring] Rename local variables
[Refactoring] Swap parameters loc and sc

Only overload related functions use (sc, loc) order, but others (Type::semantic, Type::resolve, functionParameters, etc) uses (loc, sc) order. Therefore align the parameter orders to the latter.
[Refactoring] Remove redundant argument setting
Allow overloading with functions and templates

The overloaded functions are placed in the head side of unified overload list.
The overloaded templates are pladed in the tail side of that.
fix Issue 1528 - [tdpl] overloading template and non-template functions

Improve resolveFuncCall() for integrated function call resolution, and widely use it.
[Refactoring] AssignExp::semantic
[Refactoring] DotTemplateInstanceExp::semantic