Nice implementation, I like how the toplevel lifting is done. I was exploring similar things from a slightly different angle (using PEG natural extensibility):

Nice implementation, I like how the toplevel lifting is done. I was exploring similar things from a slightly different angle (using PEG natural extensibility): https://github.com/combinatorylogic/clike https://github.com/combinatorylogic/clike