How does this differ from other next-generation web platforms like Opa?

http://opalang.org/

Also, why does this need to re-use the name of a next-generation file synchronization tool?

http://www.cis.upenn.edu/~bcpierce/unison/