[Typer] [Git][monnier/typer][main] Keep track of residues during elaboration, in case unification becomes