Allow arrow types (nondependent Pi) to participate in sequent normalization.
Allow arrow types (nondependent Pi) to participate in sequent
normalization.

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