Genus Favia Oken, 1815