Types consistency extended to detect relations abuse when applied to operands of invalid types.