Strugling to make lambda truely 1-st class

For now there is a mess in context, you can't pass a lambda of X to a lambda of X.