Management of formulas
binary operations (compatible with the Dose type for Cudf operators !)
The compact atom format used in requests, "pkgOPvers", with '.' allowed instead of '='
Prints atoms as a conjunction ("&") using the short format
Check a relational operator against an integer from compare