EnumAugmentationElement constructor

EnumAugmentationElement()