Proxy annotations

Sezpoz makes extensive use not only of serialization, but also of annotations and proxies.

To make it work, I needed these changes. (The test case added in the last commit throws a ```NullPointerException``` without the other changes of this topic branch.)