[Typer] [Git][monnier/typer][arity-of-cons] Add information about the arity of data cons in Elexps.