Interval Algebra, new formulas, revision 2

Implemented new formulas according to the discussion taking place at https://groups.google.com/forum/#!topic/opencog/iwAB1ofwTqc