fix(library/unifier): occurs-check bug
fix(kernel/metavar): avoid crash due to stack overflow, closes #253
fix(kernel/metavar): avoid crash due to stack overflow, closes #253