Improved arithmetic primops
There are a few primops that report arithmetic overflow, which work on
Ints and a couple or so for
Words. But that's not enough! Let's add more and clean up the existing code (e.g., make overflow-reporting helpers proper primops) on the go. See the wiki page for the proposal.