A library for matching, rewriting, and manipulating tree like terms, in pure Python - View it on GitHub