型分化