Flesh out org.scalactic.anyvals.DigitChar
Added Scaladoc to Functor and Monad, and renamed TC to Context.
Renamed Good to AndGood to be consistent with AndBad and to not
conflict with regular Good if that type ever was imported.
A few more ideas about laws testing in OptionLawsSpec.