Added specialized Case() and Then() for Matcher