refactored Tuple.__add__