reverse<T> : T(1) -> T(1);	
reverse(list(1))[i] :=
	let
		range := - ((1 ... size(list)) - (size(list) + 1));
	in
		list[i] foreach i within range;