Add set-pp-uniques to see var uniques
Whitespace
Add betweenR
Fix serious shadowing bug in both cleanupUnfoldR and betaReducePlusR