Code

implemented the missing Interval.__add__