[Typer] [Git][monnier/typer][graveline] 3 commits: more List functions