Finalizing simple Python support for the Pattern Matcher