Merge pull request #1043 from dsheets/relop

CH-CH-CH-CHANGES
Name additional OpamFormula types
Expose the OpamPackage.Name.compare function