started updating the cryptol prelude to use recursors
started updating the cryptol prelude to use recursors

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