Fix and improve fold of comparisons

When we permute the comparisons, the foldable splat operand is still
the same, so there is no need to change it.

Also improve the folds by flipping the comparison direction if possible.