Comment by stavros

A few years ago I wrote an implementation of what you describe: https://skorokithakis.github.io/expounder/