The way the whole language is implemented in terms of pattern matching and term rewriting is unlike any other language that I’ve seen. It does not seem quite like Lisp in that way.

Transforming patterns into other patterns is kind of Stephen Wolfram's _thing_. See his long term interest in cellular automata, and now even an attempt to discover the secrets of the universe through a theory of physics based (as far as I can tell from what I've read of it) entirely on pattern matching and rewriting: https://www.wolframphysics.org/.