"solve-streams" further Conjunction re-thinking

After re-thinking a bit the logic behind Conjunction primitive, I came out with a brand new interpretation and hence implementation of that primitive.

Now it correctly applies the SolverStrategies::predicationChoiceStrategy over all predications in a Conjunction (because before the application of that strategy over only the two arguments of ','/2 was really limiting the expressiveness of that strategy pattern usage)