Fix a off-by-one error that was making fold bodies too small.
Make it impossible to refer to the outermost variable in a tfold.