Additional OpamFormula types named and OpamPackage.Name.compare exposed

Please hold for CHANGES which is blocked on issue # assignment.