[Typer] [Git][monnier/typer][arity-of-cons] 3 commits: Add preliminary support for Dune