R1CS-like representations of PLONK programs

Here is a little thing we made for trying out writing programs with the standard plonk gate