А кстати, в Oberon-07 вот такое форма:
## Код:
```
TYPE A = INTEGER
```

запрещена. Ибо
## Код:
```
TypeDeclaration  =  identdef "=" StrucType.
StrucType  =  ArrayType | RecordType | PointerType | ProcedureType.
```

В отличае от Oberon-02 (в Обероне то же самое):
## Код:
```
TypeDecl      = IdentDef "=" Type.
Type          = Qualident
              | ARRAY [ConstExpr {"," ConstExpr}] OF Type
              | RECORD ["("Qualident")"] FieldList {";" FieldList} END
              | POINTER TO Type
              | PROCEDURE [FormalPars].
Qualident     = [ident "."] ident.
```
