Change generic typing variable names.
DepthFirstSolver uses iterators internally, may expand solution nodes.
Solvers may use multiple start nodes. BeamSearchSolver no longer filters equal state spaces by default.
Clarify javadoc.