Hm, that's a lot more readable. Question, could the type be reduced further,
Compiler Error: 1:Bad argument 3 to `+, got int, expected object.
Compiler Warning: 1:Potentially bad argument 2 to `+, got string, expected mapping | object.
since the basic type is wrong, there is no need to display the subtype.
I think the warning text looks ok, but it should probably only display if there *is* a following error.