Made the documentation of `scStringType` more precise
Made the documentation of `scStringType` more precise

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script