[Typer] [Git][monnier/typer][unification] 2 commits: improved debug logging