Update "Monoids without tears" (entirely translated)