Slightly improved the performance of the Unifier by avoiding applying
unifiers to full list of terms, just applying them to then not yet
unified terms.
New test case that puts URI's in WHERE clauses that should be matched to
either constants in from a mapping, or templates from a mapping.