The publication and typification of Sir James Edward Smith's lichens in English Botany