Interval Algebra, near completion

Last PR before sending the paper