Buddy alloc: refactor, annotate. Fix free.