Avoid unnecessary rewrite work by lifting code out of function

Thanks to Konrad for spotting the opportunity

Implement RAT_ADD_CONV (with tests)

Implement rational calculation routine RAT_MUL_CONV

With tests.

More operations to follow of course.