Revert KindConDecl