AST-1614 Replace string by std::string
!1352 (merged) reminded me that there's still some code around that uses string
instead of std::string
, which may easily get copied into new code.
This MR replaces (most of) the existing string
s by std::string
and thereby avoids copying old syntax to new code.