added the two-part mechanism for defining datatypes, by first "beginning" and then "completing" them
added the two-part mechanism for defining datatypes, by first "beginning" and then "completing" them

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