More work on relational filtering.

Shouldn't this be an error case, potentially handled by the BinaryExpression constructor?