Add a row_reduce primitive and migrate sum onto it (lesson 3, M3)

Add a row_reduce primitive and migrate sum onto it (lesson 3, M3) #565