Found bug in distribute.
Fix `associate`.
Added the rest of the monotone laws.
Some random change.