
	/* List Append */

append([], x) => x.
append([h| t], y) => [h| append(t, y)].
