[Typer] [Git][monnier/typer][master] Handle special forms and macros in `check` as well