Запилил диаграмму типов в TS. Нижерасположенные являются подтипами (сужением типа) вышерасположенных. Слипшиеся - это фактически один тип. any - джокер, который может выступать как надтип любого типа, так и как неопределённый подтип любого типа (одновременно и подтип и не подтип).
Поправьте, если где накосячил или не учёл какой-то тип.