Factor all the arithmetic out of __small_vector_facade into __arithmetic_tuple_facade