HW 5: distributeOverAddition
HW 5: Add and test squashMulId