If ty1 and ty2 are basic types, return the TY that both can be implicitly converted to.
first operand type
second operand type
ty = common type, else Terror
See Implementation
If ty1 and ty2 are basic types, return the TY that both can be implicitly converted to.