Когда тип не объявлен, используется тип Unknown. Но как только первый раз используется другой тип, тип меняется на него. Более детально это объяснялось в выявлении типов. Идентификатор выводящийся с типом Unknown используется для различения нескольких неизвестных при переводе в строку сложного типа.
Разнообразие типов, которое можно выразить с помощью Haxe, даёт возможность создания более мощных моделей программирования, обеспечивая высокий уровень абстракции, для которого не нужна сложная система отношений классов.