Implement primitives for type `IntMod` in What4 backend.
Implement primitives for type `IntMod` in What4 backend.

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