More work on Testing chapter excercises
First monoid exercises. Added ScalaCheck for monoid laws testing for now