[stdlib-sig] proposed removal: the types module