Would it be possible to implement type casts of variables (like in BP) into gpc? Currently, it only seems to know value type casts.

What I mean is the following (works in BP):

type x=record lo,hi:shortint end;

var a:integer;

begin with x(a) do begin lo:=10; hi:=1 end; writeln(a) end.