Rewrite scTypeCheck function so that uses a bound variable environment
Rewrite scTypeCheck function so that uses a bound variable environment

Now it completely ignores the type annotations on local variables,
making it possible to get rid of them eventually.

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