[Typer] [Git][monnier/typer][main] In elaboration, check residues only under certain conditions.