Implement `ConditionalExpression[]`

[rocky]

https://reference.wolfram.com/language/ref/ConditionalExpression.html

This is mentioned in passing in Issue #62

[mmatera]

This should be partially addressed by PR #1271. Still, we need a way to implement some kind of predicate reduction using assumptions.