Re: [Typer] [Git][monnier/typer][unification] Deleted 48 commits: add global (susbtitution * constraint) variable