Typification extension.