Better error handling for type errors in binary ops