Rewrite campaign handling to allow more flexible worker interactions

### Describe the desired feature

The core of the Campaign.hs needs to be re-written to allow concrete and symbolic worker to fully interact with each other, as well as LLM to direct the exploration giving commands to the workers.