A class for generating random variable names

See #2037