[HW] Support better type computation on module parameters independent of the instantiation site

As of now, we don't have a good way to compute the resulting type of a parameter expression or compare the resulting types _without_ providing the specific parameter values from an instantiation site. We need a better way to compute this when possible.

No files, tests, or entry points are named in the issue. Start by locating the module-parameter type computation and comparison logic, then determine what information can be derived without instantiation-site values; done means those cases produce correct resulting types or comparisons.

Written by the indexing model from the issue text.