TYP: Enhance static typing

[n-takumasa]

Fixes # NA

Summary/Motivation:

To provide better autocompletion in vscode+pylance.
Complex dynamic patterns (e.g. Var() can return ScalarVar or IndexedVar) are out of scope as they are difficult to model accurately.

Changes proposed in this PR:

• TYP: Use typing.overload during TYPE_CHECKING
• TYP: Model.__new__ should return an instance of the subclass
• TYP: better typing for SolverFactorys and pyomo.future.solver_factory
• TYP: reorder @overloads, overlapped overloads never be used

Legal Acknowledgement

By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:

1. I agree my contributions are submitted under the BSD license.
2. I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.