New implementation of the SPARQL OPTIONAL operator

Nested loop implementation of the OPTIONAL operator.