RedefinitionAsEnum.ice:12: redefinition of `Class' as enum