Allow super type in signature of __add__ method