Refactoring the declaration of interfaces