Fixed a bug in the clever query optimizer.
Fixed cardinality count for redundant triples.
Clever query optimizer tries harder to form paths.
New eval parameters.