fixed saw-script issue #326: updated the type-checker for untyped terms to normalize the input type of a Pi abstraction when checking the body
fixed saw-script issue #326: updated the type-checker for untyped terms to normalize the input type of a Pi abstraction when checking the body

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