Simplify collab bewteen DefaultSolver and Clause. Simplify Clause.
Fix 2 more bugs.
Re-allow asserting facts as simple String not Struct
Monad now named "UnifyContext"
Repackaging "monadic" to "unify".
Fix last but of the complete test suite: unify DataFacts.