Basic definition and implementation of string types