В смыске плохой? Это специальное свойство языка. Я могу для uin32_t написать более эффективный код, например (меньше регистров CPU нужно). Типы формально разные. Что значит один тип? В языке, если откинуть классы, вообще всего три типа: int, float и pointer.