added some interval propagators, and reformatted some tests.  The tests are a pain.