Mentioned the saw-core type of the result in the documentation for `scString`
Mentioned the saw-core type of the result in the documentation for `scString`

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