finished interval algebra

see issue #134