Fix cast insertion in the front end.

I'll merge this straight away if CI succeeds. The point of this change is to always use Cerberus to decide what casts to insert on arithmetic operations.

There seems to be something wrong with what I'm doing, I'll investigate later.

Yes, there is something wrong. It has been fixed by 17bf873b.

closed