Inductive metadataT := MetadataT {
  metaValues : MetadataStringMap.t (list string)
}.
