added conversion rules to convert between nat literals and constructor applications which represent ground natural numbers
added conversion rules to convert between nat literals and constructor applications which represent ground natural numbers

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