Спецификаций пока нет, но CTP доступен для игры - но учтите, что в него еще не включены все функции, описанные в (предварительной) документации - в в частности, многие функции dynamic (в частности, поддержка операторов) отсутствуют (имеется в виду: функции языка / компилятора C #, которые работают с dynamic; насколько я знаю, среда выполнения поддерживает их, но язык пока нет).
Также будет интересно посмотреть, сколько из новых Expression методов поддерживаются языком при компиляции лямбды.