stricter cross-type equality comparison concept checking, a-la N3351