>

    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.