Add section on inferred enumerators