find common type for comparisons *before* coercing operands, to prevent inconsistent types and loosing type information