Don't bother dualising types twice for the CP to GV translation.