Fixed wrong lambda processing in denest.
Fixed processing of n-ary lambda in regkl.
Cleaned. Fixed closure creation.