Efficient Mechanisms with Dynamic Populations and Dynamic Types