Using interval trees to perform datatype reasoning. More work on interval tree unit test.