Push 'T' onto stack on comparisons x /= y and type(x) /= type(y).