Implement distributor of products over sums
Simplify code hoister