Можно провести такие аналогии: INTEGER - это абстрактное математическое понятие числа.
## Код:
```
TYPE 
  Velocity = INTEGER;   (* это физическое понятие скорости, т.е. это уже не совсем число, хотя моделируется числом; к числу еще добавляется понятие единицы измерения *)
  Time = INTEGER;   (* - это физическое понятие времени, тоже не просто число, а число и единица измерения *)
  Spatium = INTEGER;  (* путь - число и единица измерения *)

VAR s: Spatium; v: Velocity; t: Time;
```


Напрямую v, s и t несовместимы, как при решении задач в физике, так и в программе; присваивание между ними бессмысленно. Неплохо было бы, если бы компилятор мог такое выявлять. Что скажете?