+ Add r←x+y

r is the result of the scalar application of the addition function: