Substitution now refers to a real substitution function. Unifier class removed.
createSubstitution() renamed createUnifier().
Merge pull request #59 from ontop/feature/substitution

Feature/substitution