Add support for delaying unification. Closes #3.