Какова точная иерархия типов? Можно ли перескочить на другой уровень быстро? Можно ли между ними переключаться? И другие вопросы.