Make the {A,+,B}<L> + {C,+,D}<L> --> Other + {A+C,+,B+D}<L>