Added shouldBe, then need to shave a yak because of some failing-to-compile tests.
Added recursive constraints for Or to the Constraint companion object, which was good
to figure out. Added shouldBe_== because needed a drop-in replacement for shouldBe.
Never got those tests to compile, which shows that had I had the type checked equality
back when I did combined, it would have provided good feedback that perhaps something
was amiss in terms of being too complicated or not working as desired. Will have to
still go back and investigate those tests. For now just changed to shouldBe_== to get
them to compile. Actually before all this I believe I was just adding tests for be_==,
and in once I got that all compiling, after much yak shaving, turns out there were some
minor failures due to error messages. Fixed those. And now, I not only have all those features done
but also several cleanly shaved yaks that I'm not sure what to do with.