Use evaulation to compute first order types instead of WHNF reduction.
Use evaulation to compute first order types instead of WHNF reduction.

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