TKstring :: String -> Token  -- data constructor