Add string type

The string type is used for the implementation of String.