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 strings by std::string and thereby avoids copying old syntax to new code.