Updated documentation for ExtensibleEnum