More interval algebra stuff

description in https://groups.google.com/forum/#!topic/opencog/iwAB1ofwTqc