I mostly agree but in the case of comparison chains it is lisp that has the half-implemented version: of course a<b<c is (< a b c), but a<=b<c, which is actually more common in my code, becomes (and (<= a b) (< b c)).

Mathematica, which has much in common with lisp, does something analogous to (inequalities a '<= b '< c), using symbols for the comparisons.