Use ReductionFold instead of Reduction
Interval reducers
Remove duplication in IntervalReducers
Add Interval expressions to expression Arbitraries

Update specs