Proxy types, taxonomic discretion, and taxonomic progress: a response to Löbl et al.