SMS: Simple Equational Specifications of Rational Arithmetic