redo SymbolicInt overloads

to make more concise, correcting errors on handling of rdiv and other
reverse ops