Implement EXISTS in both expression and algebra.