added some data-types that will eventually replace the SAW primitive data types
added some data-types that will eventually replace the SAW primitive data types

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