String type(s)

[vegard]

There are good reasons for having immutable strings, but there are also good reasons for having mutable strings. We should probably provide standard implementations for both, possibly also along with a string builder.