Update "Monoids without tears" (still work in progress)