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.
meta int j;
Obviously, such record variables cannot have an initialiser, as clocks and channels cannot have
Increasing priority. We should try to finish this for 3.6 alpha 2.