DefExtractor: traits and interfaces