Redefine saw-core functions 'and', 'or' as primitives.
Redefine saw-core functions 'and', 'or' as primitives.

(Definitions and proofs taken from wip-recursors branch.)

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