[Typer] [Git][monnier/typer][graveline] Unfinished work on ctx2tup and mktup