Further work on lambda. Changed a lot of notes. Added some references.