- Generify the ExplorationTarget class.
- Priorities are now only annotated to ExplorationObjectives.
- Renaming of EOps and some attributes acc. to recent discussion.
- Further cleanup.