Add subNat and maxNat to SAWCore prelude; set up evaluator for these and other functions
Add subNat and maxNat to SAWCore prelude; set up evaluator for these and other functions

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