Shared: Make some generalizations in type inference library#20358

hvitved merged 3 commits intogithub:maingithub/codeql:mainfrom

hvitved:shared/type-inference-generalizehvitved/codeql:shared/type-inference-generalizeCopy head branch name to clipboard