We should introduce aliased types

[Victor Porton <porton@narod.ru>]

I think we should introduce aliased types to allow self-referencing objects 
and objects which we can access for object's internal purposes:

type T is aliased
   record
      Ptr: access all T;
   end;

Every value of an aliased type should be aliased (whether we specify that 
the particular value if aliased or don't specify).

Then we could create a self-referencing object by a code (say in Initialize) 
like this:

declare
   X: T;
begin
   X.Ptr = X.Unchecked_Access;
end;

-- 
Victor Porton - http://portonvictor.org