Removed matchers from the Spec trait

I have been testing 0.4.0-SNAPSHOT on the Monocle project and it turns out that my previous PR introduces some naming conflicts introduced by the addition of Matchers which were not there in 0.3.0.

I also fixed the presentation of `checkAll` when verifying Laws for example by adding newlines in the right places.