Да, SYSTEM.PTR - это ещё более обобщённый ANYPTR, позвляющий присваивать вообще любые POINTER TO, включая массивы. Только untagged типы туда лучше не пихать, а то будет плохо.
Работать с этим типом надо осторожно, потому что такая программа валидна и никаких проверок не производится:
## Код:
```
MODULE Test;

   IMPORT SYSTEM;

   VAR
      rec: POINTER TO RECORD END;
      arr: POINTER TO ARRAY OF BYTE;
      ptr: SYSTEM.PTR;

BEGIN
   ptr := rec;
   ptr := arr;
   rec := ptr;
   arr := ptr;
END Test.
```

Вроде как использование IS/WITH/typeguard должно быть быть безопасно, но это не точно, лучше перепроверить.