Lots of things have been changed:
1- Class Types has been added.
2- Extended expression translation rules are separated from built-in
expressions
3- Almost all "translatable" Event-B constructs have translation now.