Major overhaul of existential types step 2: the key idea.