Type coercion for comparisons does not coerce ROW types

Type coercion finds the common type for scalar types, but not for composite types.
E.g., ROW(1, 'x') = ROW('x', 1) is a legal comparison, but coercion does not coerce the component types of the ROW recursively.