Better support for binary operators with different input types

[eriknw]

For example, numba now supports numpy.around. The second argument must be an integer, but the first argument can be any non-boolean types. The return type matches the first argument.

We should support this better.