lectotypified