add TermF constructors for equality propositions (EqType) and proofs by external oracle (Oracle)
add TermF constructors for equality propositions (EqType) and proofs by external oracle (Oracle)

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