Not really what you asked for -- but there is an interactive modern typesetter that is programmable and works on trees. It's called TeXmacs - you may want to ch

Not really what you asked for -- but there is an interactive modern typesetter that is programmable and works on trees. It's called TeXmacs - you may want to check out what it can do -- https://www.youtube.com/watch?v=H46ON2FB30U https://www.youtube.com/watch?v=H46ON2FB30U