Incorrect type in 'mismatched types' error

```
fn main() {
  auto x = true;
  auto y = 1;
  auto z = x + y;
}
```

reports "error: mismatched types: expected bool but found bool (types differ)". Should be "bool but found int". Also, the reported span encompasses the entire binop when it should probably just cover the y variable.
