Semantic plugin: handling typedefs