Add type hints or declarations for dynamically created RangeSet sets

[alexchandel]

Summary

Pyomo declares certain globals in a nontraditional manner, e.g. pyomo.core.base.set.NonNegativeReals. Pylance/Pyright reports a false positive "unknown import symbol" when you try to import them.

To Reproduce

from pyomo.environ import Binary, NonNegativeReals

These two symbols are defined here but Pylance does not recognize this, as "It's manipulating module namespaces in a way that's too dynamic for a static type checker to understand."

Static declarations or hints could be added under an if TYPE_CHECKING conditional, so they are never executed.

Rationale

Type checking catches lots of bugs. It should be encouraged and supported.