Fix redex repeat enum bug.

Also small api change and variable enumeration change (again).