I think your first question will be answered when spj releases details on the type system. And the second when he address the transactional distributed stuff.

As of now all we have is a core language. But its not hard to read between the lines to anticipate how powerful it can be so that features that the industry needs can be built upon it.