Definition jsonMetadata (m : metadataT) : json :=
  let elements   := MetadataStringMap.elements (metaValues m) in
  let properties := map (fun p => (fst p, JsonArray (map JsonString (snd p)))) elements in
    JsonObject properties.
