Added %unifyLog construct
For debugging purposes
%unifyLof t will give a trace of unification problems while elaborating t
Also, log levels 6 and above will give the trace