Describe the feature

The OpProofsExEx struct currently requires a constructor with a growing list of parameters. This makes the initialization code verbose, hard to read, and difficult to extend without breaking changes.

Additional context

No response