It turns out the "expressions" page of the language reference makes multiple claims about types which do not hold, e.g. for multiplication, "The arguments must either both be numbers, or one argument must be an integer and the other must be a sequence", or for `&` that its arguments "must be integers".

So this is much larger than just comparison operators.