Don't typecheck inside bindExts
Don't typecheck inside bindExts

It makes more sense to run the type checker higher up. See later commit.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script