inference: better align type_more_complex with _limit_type_size for Type

[vtjnash]

A small further extension to #51512 to better align the internal behavior of the _limit_type_size and type_more_complex computations

@nanosoldier runbenchmarks(!"scalar", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[oscardssmith]

@nanosoldier runtests()

[nanosoldier]

The package evaluation job you requested has completed - possible new issues were detected.
The full report is available.

[vtjnash]

@nanosoldier runtests(["MathML", "Finch", "HydroPowerSimulations", "XGPaint", "Minio", "Arrow", "HmtArchive", "SymbolicNumericIntegration", "EnergyCommunity", "HetaSimulator", "HiGHS", "TORA", "MRIReco", "LowLevelParticleFilters", "LinearNoiseApproximation", "DataDrivenSparse", "EHTImages", "GeneticsMakie", "SDEProblemLibrary", "ImageUtils", "MimiRFFSPs", "DataDrivenDMD", "PhysiologyAnalysis", "Symbolics", "EasyABM", "Pyehtim", "Conductor", "MIRT", "Boscia", "GeoStatsBase", "BiochemNetABC", "WaveguideQED", "DelaySSAToolkit", "EpithelialDynamics1D", "ParallelAnalysis", "VoronoiFVM", "ReactionNetworkImporters", "GlobalSensitivity", "QuantumOptics", "Intervals", "PlantGeom", "SummationByPartsOperators"])

[nanosoldier]

The package evaluation job you requested has completed - no new issues were detected.
The full report is available.