Rational is immutable

According to an earlier section of the manual, Rational is declared immutable (rather than 'type').
Merge pull request #7874 from StephenVavasis/patch-4

Rational is immutable