introducing other random number generators

Question: would it make sense to define some defaults in ExplorationContext for operator (identity) and properties (empty list)?