scTypeCheck now does normalization while comparing type arguments
scTypeCheck now does normalization while comparing type arguments

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