Added RANDOM-ELEMENT and its tests.