simple unification for constant symbols
fol.ndf: moved consts/glyphs logic into data.
improved debugging support.
unify: check all leaves for conflict
unify recursively.
got basic unification working for lists
tests for lists and recursive unification
Merge branch 'unify' into HEAD