Removed set unification debug msgs.
Now using print-str in more places to avoid silly quotes.
Now using load-file in load, instead of Java call.
Hyp is now added to atoms which are built.
Added functions to benchmark from loaded files.