Fix occurrence typing when comparing Byte and Positive-Rationa.

Closes PR14568.