let n_rowcons typed_labels y = 
  List.fold_left (fun acu (l, t) -> rowcons l t acu) y typed_labels