[Typer] [Git][monnier/typer][graveline] update on macro `case`