Reducing verbosity of the definition of conjunction joining
Reducing the number of template specializations of join for conjunctions

- allows for greater maximum number of variadic arguments
Fixing algorithm for the joining of conjunctions
Fixing lazy joining of solutions

- must preserve order!
Fixing resolve
Adding verification of the solution to the test script of resolve