Розв'язання задачі типізації схем