Implementations of the new STRING type and StringObject