type-reflective variable renaming in Gamma; needs more comments