[Typer] [Git][monnier/typer][alice] add lexp_lexp' for genericity