Inductive ManifestT := Manifest {
  manifestItems : list ItemT
}.
