a start on a variant of match-a-pattern
that allows you to avoid enumerating the
non-recursive pattterns (and use an else clause)