Implement pattern-match definitions for ePArith, ePCmp, and arithUnary
Implement pattern-match definitions for ePArith, ePCmp, and arithUnary

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