spire eq instances
add type and companion to the contrib selfless traits

this is useful because then there are no other imports required except those
adds scalacheck binding project to include Arbitrary instances
spire monoid law tests
adds scalaz law tests

- also uses the properties right for spire