Add CommutativeRig.
stop providing quot/mod by default for now