Fix size_up_alloc to account for UnliftedDatatypes
The size_up_alloc
function mistakenly considered any type that isn't
lifted to not allocate anything, which is wrong. What we want instead
is to check the type isn't boxed. This accounts for BoxedRep Unlifted
.