Lambdas (actually their constructors) now make new variables,
so there is no clash with the outside. These look the same as the old ones.
A subtlety is that lambdas are essentially never (definitionally) equal -
this was anyway the case with just different varaible names.
Should have an equality method that is more useful.