на оф 
сайте появилось новое соощение о языке (июль 2009):
http://www.zonnon.ethz.ch/archive/znnLanguageReportv04y090606draft.pdfс техническим английским не очень хорошо, но вроде изменения настораживают:
1)если правильно понял, теперь область импорта есть не только у модулей, но и у объектов
Цитата:
Код:
Object =  object [ Modifiers ] ObjectName ObjectDefinition SimpleName. 
ObjectDefinition = [ FormalParameters ] [ ImplementationClause ] ";" 
       [ ImportDeclaration ] 
      { SimpleDeclaration | ProcedureDeclaration | 
       ProtocolDeclaration | ActivityDeclaration } 
       ( UnitBody | end ). 
2)вместо модуля можно оформлять объект:
Цитата:
Код:
object T; 
… 
end T. 
is shorthand for: 
Код:
module ; 
   type T = object … end; 
end . 
3)записи - статичесике объекты:
Цитата:
The keyword 
record is equivalent to object {value}. Record declarations cannot be nested.
Код:
record Position; (* declares the record-type Position *) 
 x, y: integer 
end Position; 
which is equivalent to: 
Код:
object {value} Position; (* declares the record-type Position *) 
  var x, y: integer 
end Position; 
а вот про дефинишн и инмплементейшн не осознал...
Цитата:
Unification of abstractions is at the heart of Zonnon’s design. This is reflected in its four pilla
•  the module—both a textual container and program composition object 
•  the object—a type template for defining objects 
•  the definition—a concept of abstraction and composition for defining interfaces 
•  the implementation—a container for reusable fragments of object implementations  
может еще изменения есть, которые я не заметил?