Получение типа экземпляра
У каждого из производных типов существует метод ПолучитьТип(), который возвращает значение типа Тип. Из этого следует, что у любого экземпляра можно вызвать  метод ПолучитьТип(). Это хороший пример наследования контракта.
Для того чтобы получить список базовых типов конкретного типа, у экземпляра типа Тип используется свойство БазовыеТипы.
Отображение базовых типов для выбранного типа
метод БазовыеТипыДляВыбранногоТипа()
    ПоказатьБазовыеТипы(Тип<Число>)
    ПоказатьБазовыеТипы(Тип<Массив<Число>>)
    ПоказатьБазовыеТипы(Тип<ПотокЗаписи>)
    ПоказатьБазовыеТипы(Тип<ИсключениеНедопустимыйАргумент>)
;
метод ПоказатьБазовыеТипы(Параметр: Тип)
    пер ВсеПредки: Множество<Тип> = СобратьПредков(Параметр)
    для Элемент из ВсеПредки
        пер Результат = Элемент.ВСтроку()
    ;
;
метод СобратьПредков(Значение: Тип, Предки: Множество<Тип> = {}): Множество<Тип>
    для БазовыйТип из Значение.БазовыеТипы
        Предки.Добавить(БазовыйТип)
        СобратьПредков(БазовыйТип, Предки)
    ;
    возврат Предки
;