AugmentedEnumElement constructor

AugmentedEnumElement()