Rearrange structure of allocator
Progress on reg_alloc proofs