Explanation of the reifyPolyLet, letFloatLetR, letElimR combo.