Hi!

As promised, I reworked a series of bug fixes on PEG transformations (realizability, dropping) into a fix branch:

In short:

-