Translation of types