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.