Refactoring of pattern matching.

Python-specific parts are separated into pypattern.py. Substitutor has been removed. PatternTransformer has been cleaned up.
Added Wildcard pattern node, simplified logic.