[scalatic algebra]: Fixing Monad.scala to work with general TC (Type Constructor) instead of Option.
Added OddInt in under src/test. Can't test it until we get the OddIntMacro compiled in a first compilation pass.
Merge branch 'funky-branch' of https://github.com/libby/scalatest
Init ver of OptionLawsSpec.
Got a generic identity laws check going.
Made the laws more generic.
Got an Or.badMap should obey he functor laws example working, I think.
Renamed Howdy[Int]#Doody to OrWithGood[Int]#AndBad.
Got rid of passing type params into (renamed) assertObeysTheFunctorLaws.
Added a possible matcher syntax for laws checking assertions in a comment.
Added a comment with a prettier matcher syntax idea for laws checking.
Simplified some types in OptionLawsSpec.
Pass in Equality for the functor law check, so can check then in the context
of custom equality. Can't do it for Array, because it needs a ClassTag, as
would anything specialized.