jltypes: always run parameter normalization (#49845)
This simplifies the types, which may help subtyping other other similar
lookup code any time this is later used as a parameter, so it is
probably worthwhile to do.
This is a followup to #49820, where we reorganized the code to make
this more straightforward.
