<rational> typeType of rational values.
<rational>: <rational> type-constructor objValidate obj as object of type <rational> and return it.
<rational>: <boolean> type-predicate objThe type predicate is rational?. Return #t if obj is
a <rational> object, otherwise return #f.