Add support for constraints on enumerated types to ADL and AOM.