TKchar :: Char -> Token  -- data constructor