more flexible Meta.Encoding, accepts boolean formulas;
fix in Formula.of_term