Thank you, José. I suspected 2, but 1 and especially 3 was the most interesting follow up! -Marko
In EP380 there is also a short mention about Lambda Calculus and variable renaming: https://youtu.be/z7boq5L0qZc?t=3413 Looking forward the joined discussion with LC expert in future, it will be super exciting.