[Typing-sig] Type Arithmetic presentation at Typing Summit