[Follow-up !6555] Adapt the Foldable laws explanation to the context of documentation

After !6555 (closed) is merged, the explanation of the laws needs to be made smoother. I would like to explore getting rid of Endo and Dual newtypes, and changing the narration style a bit.