TKrational :: Rational -> Token  -- data constructor