Binop errors should be able to use span for entire expression

[swernli]

Right now, any error in a binary operation expression during evaluation always uses the span for the right-hand side, as that's the only span passed through. But for some errors it makes more sense to highlight the left-hand side or the entire expression. We should update the parameters for the binop helpers to accept multiple spans so the individual error cases can choose the most appropriate one.