Rename holotype to holotype.lua