remove Linear instance of Interval type
rename Interval.univ to Interval.whole
rename Interval.size to Interval.width
add Functor instance of Interval.EndPoint
use lattices package