[Typer] [Git][monnier/typer][graveline] 4 commits: Correction in polyfun.typer; unit test in Typer for macro `_|_`