TKname :: String -> Token  -- data constructor