Name	{_} {_,_} {_,_,_} etc.
Definition	{ (e1:val(T1:type)) , (e2:val(T2)) , (e3:val(T3)) } : expr(record(T1,T2,T3)) etc.
Example	{3,4,[1,2],(2>b)}
Defined in	types.l
Implementation	icode
Infix	{_,_,_} : infix(90,none). etc.
Description	Constructs a record from the given elements.
Note	There is currently a limit of 20 elements in each record, though this is easily extended. Since the result of the constructor is anonymouse (i.e. it has no field labels) it is generally necessary to cast it to the desired type).