Implement more of pattern matching. (It is only partially tested so far. Also, only (P) and (,P) are implemented, and so far not (=P) and (P*) and (,P*) and (=P*).)