switched record types to just be constructed by RecordTypeCons and RecordTypeNil
switched record types to just be constructed by RecordTypeCons and RecordTypeNil

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