The discussion on conversion precedence refers to "Type Compatibility" but the specification is not clear on what that means, only giving the example of "the operator has a declared type of Any). Clarify what type compatibility means