Size^a allocation #46

Points proportional to length^α, with exact integer quotas (largest remainder or greedy).

• α = 0 is equal allocation α = 1 is the current size-proportional.
• One allocator with a parameter, rather than separate types.