Non regular TwoLevelTree and StrategicScenarioss

[JulStraus]

This PR implements the suggestion of @trulsf in #89 for solving the issue in which StrategicScenarios cannot be iterated for non regular TwoLevelTree structures, that is structures in which the operational structure of the individual StratNodes is not the same.

[JulStraus]

I have to admit that I am confused over the Unbound error here in the LTS test. I would say we have to possibilities,

1. remove the testing for unbound (In this case, I do neither see and unbound parameter) or
2. merge without LTS test passing (fine for me as the unbound type is a bit weird).

[trulsf]

Looks good. I would suggest leaving out the unbounded type parameter test of Aqua for the time being, and see if the lts behaviour changes later. I can not see any problems with the unbounded type parameters, at least not in practice.

[JulStraus]

Looks good. I would suggest leaving out the unbounded type parameter test of Aqua for the time being, and see if the lts behaviour changes later. I can not see any problems with the unbounded type parameters, at least not in practice.

I will remove it then. On a side not, as it is a bug, I think we should also register a new version. I will hence as well increase the minor version number.

[trulsf]

Good, I will trigger a new release.