sig val filter : Monomial.t list -> Monomial.t list -> Monomial.t list end