verify type normalization