Basic implementation of String type