Added Case<C>(consequent-only) methods to Matcher*
Added Verify.That