fixed the monadification of the Left and Right cryptol primitives so they now use the new eta-expanded left and right functions in the saw-core prelude
fixed the monadification of the Left and Right cryptol primitives so they now use the new eta-expanded left and right functions in the saw-core prelude

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