[Typer] [Git][monnier/typer][master] 2 commits: Add information about the arity of data cons in Elexps.