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