[Typer] [Git][monnier/typer][report/tcvi] Add a few FIXMEs while I have them in mind