I will introduce a proposed syntax that is slighly different from the one proposed by Mark Reinhold, and explain how the syntax can be translated to a bytecode understandable by a JDK7 VM. Then I will discuss the possible reification of function types. I will finish by demoing a prototype of java compiler patched with lambdas implemented using method handles.