Author of the blog post here. I am happy to answer any questions about the article, pattern matching in general or about Symbolica!
Are you familiar with them? How does Symbolica compare/contrast with them?
https://en.m.wikipedia.org/wiki/OBJ_(programming_language)
(While OBJ is old, there are some newer /recent decendents from its family)
```{mermaid} flowchart LR A -- 1 --- B B -- 2 --- C B -- 8 --- E C -- 3 --- D C -- 9 --- F D -- 10 --- E D -- 4 --- G G -- 5 --- H G -- 6 --- F E -- 9 --- F ```