Currently, record types may only consist of integers. It would be very useful to be able to mix integers, 
clocks and channels in a record, e.g.

struct
{
  clock x;
  int i;
  chan c;
  meta int j;
}

Obviously, such record variables cannot have an initialiser, as clocks and channels cannot have 
initialisers.