fill in implementation of function subst0, used by scTypeOf
fill in implementation of function subst0, used by scTypeOf

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