Added generation of Sets for the implicit context (Enumeration Translation)