Implement interval validation with memorization
Implementing validIntervalbounds
similar to validAffineBounds
and getValidMap
allows to return an interval map and use accumulators to speed up computations. It further allows to implement Interval Subdivision as a range analysis.