Factorize function calls on sorts in builds of premises
Change variable name generation to unique names to avoid potential conflicts
Beginning of unification for rules by constructor and arrow name
Update for generated files
Make sure we factorize on VarRefs and not Vars. Explicate on More WIP on unification.
More unifier
Factorize As(v, term)
More unification
Generted stuff
Fix factorization bug for As
Remove old merging
Implementation of 2-way unification, without support for all-fail rule
Treat matching and equality checking in premises on same variable to be
Attempt n-way unification
Allow merge point branches to be empty (aka no premises)
Log on unification failure before with failure
Attempted n-way unification
Hook unification into focto-plico-nify.
Oops. Also merge 0-way (duh).
Draft of unifiication for all-fail premises