Add "Pending set" to Steensgard Algorithm to enable lazy join

[enochii]

for "pending set", you can visit the original unification paper.