Inductive metadata : Set := Metadata {
  mValues : list metadataValue
}.
