Made links where the seemed appropriate, added some docstrings to parameters (specifically when there are multiple parameters of the same type)
Made links where the seemed appropriate, added some docstrings to parameters (specifically when there are multiple parameters of the same type)

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