added unify
added unify
Merge branch 'master' of github.com:webyrd/utah-minikanren-summer-school