Expose fresh lift probability
Right now a reference has some probability to lift a fresh definition even when there are existing definitions available. Right now that's just hard-coded, but I need to expose a way for users to adjust this probability. Also, it would be good for users to be able to adjust the probability of other choices as well, such as weighting the choice to prefer global or local variables.