use CharacterString as the underlying string

the official "hole" string type