[Typer] [Git][monnier/typer][master] Streamline the integer binary ops slightly