Name	[_] [_,_] [_,_,_] etc.
Definition	[ (e1:val(T:type)) , (e2:val(T)) , (e3:val(T)) ] : expr(T^3) etc.
Example	[3,4,a,(2-b)]
Defined in	types.l
Implementation	icode
Infix	[_,_,_] : infix(90,none). etc.
Description	Constructs a vector from the given elements.
Note	There is currently a limit of 20 elements in each vector, though this is easily extended.