normalization of types