Wrote definitions for interval operations and adapted the IntegerIntervalOperations to these definitions.