Implement the other kinds of pattern matching (=P) (P*) (,P*) (=P*) but it is untested so far.