Add saw-core prelude function if0Nat.
Add saw-core prelude function if0Nat.

(Taken from wip-recursors branch.)

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