Comparisons and more combinators