Semantic plugin: ':superclass' attribute for enum declaration