v1.0.9: define additional facets on enumeration types