Using latest TermInterface for custom types in MetaTheory

Is there an example of using TermInterface v2.0 with the ale/3.0 branch of MetaTheory for working with custom types? I’m looking for something like Interfacing with Metatheory.jl · Metatheory.jl that works with the latest TermInterface. If not, pointers here to get me started would be great. Thanks in advance!

Have you taken a look at the TermInterface.jl documentation already?

I have yes, but I’m not sure how to use it to implement custom types in Metatheory.