A simple yes/no pattern matcher.
One extra cond clause to handle ... patterns.

I'm not sure yet what's the best way to build up a bindings list.