Convert the various Cryptol typeclass witnesses from "primitive" to "axiom". This indicates that they are not intended to have implementations.
Convert the various Cryptol typeclass witnesses from "primitive" to "axiom".
This indicates that they are not intended to have implementations.

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