Added random.from, minor ui tweaks.

RANDOM.from picks a random element from an array. UI tweaks involve
more dynamic feedback.