enum type variables renamed.