[Typer] [Git][monnier/typer][master] lexp_p_infer: Type propagation