Upto Ex 20 of monoids done. Fixed a bug in mapMergeMonoid
Chapter on monoids is complete