This is a little raw yet. Match a list with a pattern. It has something which I think I can call unification.