Review type definitions. Any object is now an independant object.
Case3 has been added. More tests must be provided for error management
in general.