sig
  type usage
  val create : unit -> Cleaning.usage
  val as_atom : Cleaning.usage -> Lang.F.pred -> unit
  val as_type : Cleaning.usage -> Lang.F.pred -> unit
  val as_have : Cleaning.usage -> Lang.F.pred -> unit
  val as_init : Cleaning.usage -> Lang.F.pred -> unit
  val filter_type : Cleaning.usage -> Lang.F.pred -> Lang.F.pred
  val filter_pred : Cleaning.usage -> Lang.F.pred -> Lang.F.pred
end