Create OpamfuFormula for manipulating simplified, ordered opam dependency propositions