heapify_rec sort of
cyclic thingers with either[A,B]