Feat/dsl

[lonerapier]

This PR fixes/closes issue #53

Very rough right now, don't review.

[Autoparallel]

This is lookin' pretty good. Would love to work with you on this as it seems like a crucial part of this project.

[lonerapier]

Sure @Autoparallel, will connect with you. This is currently a straight port of plonkathon's DSL compiler. Liked their approach a lot, so I didn't do any modifications yet.

Right now, adding tests and documentation. Would love your help as there's significant work still pending here.

[lonerapier]

@Autoparallel @0xJepsen PR is mostly done, will rebase on #63 and add scalar field when it's merged. Would love your review on this.

[Autoparallel]

This is looking so good. I can give a passing review for sure, but I need to spend more time on this.

Let me wait until you merge in my other PR which just got merged into main now :)

[lonerapier]

@Autoparallel done

[0xJepsen]

Im down to merge this in nice work!

[lonerapier]

added a README with a walkthrough on how DSL is parsed and required polynomials are created.

If @Autoparallel doesn't have any suggestions, I think, we can merge this