revising description of string-set; revising examples
machine-generated version