A Python library for pattern matching