Split Common.Interval + cleaning
Hide Common.Interval.mkInterval (use interval iso instead)
Docs
Hide Common.Interval.mkInterval (use interval iso instead)
Simplify module names
Simplify module names
Simplify module names
Simplify module names
Simplify module names