On: Why Pascal is not my favorite programming language (1981) [pdf]

[deepsun]

>

    type
        apple = integer;
        orange = integer;

> then any arbitrary arithmetic expression involving apples and oranges is perfectly legal

Same in Kotlin sadly. The whole point of giving a different names to a type is to make them incompatible.