Pull request: https://github.com/aibasel/downward/pull/229

Done, thank you.

Looks good to me, feel free to merge.

Now that the sprint is over this looks like very low-hanging fruit. Any objections to merging this?

Having this in the plugin code perhaps makes more sense. "utils/language" is meant to be reusable for all kinds of projects, and the precise choice of user-visible name for this type might be considered somewhat specific to the plugin module.

We already had a first look but don't want to spend too much time on this during the sprint. 

One option would be to add an optional parameter here:
https://github.com/aibasel/downward/blob/main/src/search/plugins/types.cc#L295
which is then used instead of utils::get_type_name<T>() here:
https://github.com/aibasel/downward/blob/main/src/search/plugins/types.cc#L303

An alternative would be to use template specialization for utils::get_type_name<std::string>() here:
https://github.com/aibasel/downward/blob/main/src/search/utils/language.h#L19

When automatically generating the documentation for the Wiki, the type information for `string` types is translated to `std::cxx11::basic_string<char>`. This should be manually overwritten to something more readable like `string`.