Church numerals

Here you mentioned that some slight change was needed in how upvars are "scoped" (can I say so, is it grammaticaly correct?) in order for this project to work.

I didn't quite understand last time when you mentioned it, what change exactly was done by Jens now that this is now possible?

I know you gave the two examples above, but I still didn't understand. Can you explain it again, please.