Adapt Cryptol->SAWCore translation to use new nested tuple representation
Adapt Cryptol->SAWCore translation to use new nested tuple representation

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