Adding documentation for HLL and CMS examples. More efficient and clear use of the monoids.