Improve inference on some type-, Expr-, and error operations (#37086)
Improve inference on some type-, Expr-, and error operations
This aims to reduce our backedges to operations like `+(::Int, ::Any)`.
One noteworthy change is the eltype of `CodeInfo.codelocs`.