полная семантика и конверты типов в дереве