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.