Mauro, I like that idea that there is a central place. It is perhaps something akin to an interface. Being able to define and document an external interface for a module makes a lot of sense.
I'd love to see interfaces in general, especially for things like iteration. If I implement a base interface for my type I'd like to be able to assert that it is fully implemented.
