Update "Working with non-monoids" (only Appendix is remaining)