The class Compare_to_less<F> is used to convert a functor which
returns a Comparison_result to a predicate (returning bool) : it
will return true iff the return value of F is SMALLER.
The class is used in conjunction with the compare_to_less
function; see there for an explanation on how exactly the functors
are combined.