В Oberon-07 сказано:
> -- Цитата:
> If  a  type  P  is  defined  as  POINTER  TO  T,  the  identifier  T  can  be  declared  textually  following  the  declaration of P, but [if so] it must lie within the same scope.
То есть обязательно должен быть указатель на неопределенный тип.