[Typer] [Git][monnier/typer][graveline] Correction of Array functions and simplification