A class for fresh variable generation