CGE2: Get rid of ManiType.