Glad you liked it :)

Term rewriting was part of my coursework 20+ years ago. It didn't sink in at the time because I had nothing practical to attach it to in my head. Now, it's a lot easier for me to see how my projects can benefit from it and I'm happy to get your tutorials