Consider adding signed comparisons to `Prop`

[blishko]

We use only unsigned comparisons on the Prop level, even though at the Expr level there are both signed and unsigned comparisons.
Some expressions could be better expressed at the Prop level if we have signed comparison there as well.