Merge narrower type signatures for mathematical operations that really shouldn't involve units.