finished writing the typechecker for datatype declarations
finished writing the typechecker for datatype declarations

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