Determine the expression boundaries of an `AND` conjuction

[isidentical]

Is your feature request related to a problem or challenge? Please describe what you are trying to do.

Where we have an expression like a > 20 AND a < 80, we should be able to determine the boundaries of this operation by looking at the boundaries of the two sides and applying logical AND over the set of possible values.

Describe the solution you'd like

Implement both boundary analysis and selectivity analysis for the AND conjunctions.

Describe alternatives you've considered
None

Additional context
Tracked in #3929