Experiment using dosync around all of building vars - should prevent half-built vars.
Removed debug statements.
Added error about using demo without a file, since listing is unimplemented thus far.
Basic unification demos.