rewrote the typechecker for untyped terms to mostly just reuse the existing type-checkiner in SCTypeCheck.hs
rewrote the typechecker for untyped terms to mostly just reuse the existing type-checkiner in SCTypeCheck.hs

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