Rational is immutable

According to an earlier section of the manual, Rational is declared immutable (rather than 'type').