Method ADT.Interval()->`-()

Method `-

this_program(< RangeType >)|zero res = ADT.Interval() - interval