Simplify symbol_to_info_string Thi simplifies symbol_to_info_string, removing the 'kind' parameter and instead having it use the symbol's domain.