Better warnings for cross-type comparisons

Raise a warning that identifies the calling code.