[Typer] [Git][monnier/typer][master] Infer the inductive type of pattern constructors