Rewrite scTypeOf function to use a bound variable environment
Rewrite scTypeOf function to use a bound variable environment

The function now ignores the type annotations on LocalVars.

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