Added todo. Moved and documented RandomSet.