I was hoping to do a variant on this that used > instead by defining __lessThan but it turns out that no matter how you define __lessThan, an expression of the form a > b > c is a syntax error. I’m rather curious why this is so; obviously with the default implementation it would be a type error (true > x shouldn’t ever work) but I don’t see a reason for it to be syntactically prohibited.