I've written up an overview of the lambda project over on InfoQ. It covers some oddities about Java's type system, why invocation of lambda expressions uses .() syntax instead of just (), and some general background on the project.
You can read about it at http://www.infoq.com/articles/lambdas-java-analysis