TKinteger :: Integer -> Token  -- data constructor