val initial_counters: counters
-val count_item: (counters -> 'a) -> counters -> Bag.item -> 'a
+val count_entity: (counters -> 'a) -> counters -> Bag.entity -> 'a
val print_counters: (unit -> 'a) -> counters -> 'a
-val specs: (Bag.context, Bag.term) Log.specs
+val specs: (Bag.lenv, Bag.term) Log.specs