add substitution type to carry allocator