Громоздко в смысле записи в исходнике? Или в плане операции во время выполнения? Приведение во время выполнения очень быстрое (в Обероне проверка типа идёт за фиксированное число операций, без поиска предков).