normalized types