Add occurs check for unification and tests for it.#1

KirillSmirnov wants to merge 1 commit into

handsomecheung:masterhandsomecheung/miniKanren.lua:masterfrom

KirillSmirnov:masterKirillSmirnov/miniKanren.lua:masterCopy head branch name to clipboard