Finished two-fold.tex update

monoids.tex now folded into two-fold.tex