Negation for interval added and tested.