update Makefile (add another depending file)
define custom printer for Term type
[bugfix] eq(X,X) broken
support list literal printing
cosmetic change
add occur-check
refactor eval
rename clauses before unification
add Evaluator type (alias of nesting monad type)
s/Kaguya.hs/Type.hs/g
hold all substitution candidates